Re: problems with TEXINFOS

[Stepan Kasal]

Hello,

On Sun, Mar 26, 2006 at 09:11:48PM -0500, Dan McMahill wrote:
> extracted-docs :
>         perl $(srcdir)/extract-docs $(srcdir)

two ideas come to mind immediately:

1) When the script extract-docs finishes its work, it could use diff
to find out whether there are any (significant) differences from the
previous version, and update the Texinfo file only if some differences
are found.

2) If you were able to keep/generate a list of all the source files
used by extract-docs, than you could skip the extract-docs command
if the generated Texinfo file is newer.
This could be naturally done by make, either from one of the main
makefiles or from a specialized one purpose makefile.  Or you could
implement it in extract-docs itself.
(The advantages of non-recursive make come to mind here, of course.)

HTH,
        Stepan