[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: problems with TEXINFOS

From: Stepan Kasal
Subject: Re: problems with TEXINFOS
Date: Wed, 29 Mar 2006 13:26:04 +0200
User-agent: Mutt/1.4.1i


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.)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]