[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files
From: |
Karl Berry |
Subject: |
Re: [PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files |
Date: |
Thu, 29 Dec 2005 18:45:50 -0600 |
Hi Chad,
Thanks for the report and patch.
This patch fixes that by actually examining the srcfile
for @include statements.
Seems the new ifiles list should be recursively examinedfor further
includes?
Likewise, it extracts names of *.eps files
that are actually used in the document.
1) It should search ifiles, not just srcfile, I would guess.
2) It should look for names used by @image, not just \epsffile. For
that matter there is also \epsfbox and potentially others. But just
@image would be good enough, I expect.
These complications are why I just took the easy way out and included
everything, despite the imperfections ...
Thanks,
Karl