On Sun, Feb 12, 2012 at 04:13:42PM -0000, Phil Holmes wrote:
----- Original Message ----- From: "Graham Percival"
<address@hidden>
To: "Phil Holmes" <address@hidden>
Cc: "Devel Team" <address@hidden>
Sent: Sunday, February 12, 2012 4:04 PM
Subject: Re: extract-texi-filenames - missing directories
>... actually, come to think of it, the build system itself would
>complain if you _did_ have an empty directory, because then it
>wouldn't be part of make dist.
Could put the standard Documentation/*/included/GNUmakefile in there?
That's be ok.
- Graham