[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: |
Chad Walstrom |
Subject: |
Re: [PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files |
Date: |
Thu, 29 Dec 2005 19:05:32 -0600 |
address@hidden (Karl Berry) wrote:
> 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 ...
True. Perhaps a recursive shell function (or pair of functions) to
obtain the file names. If I have time to hack on it, I'll see what I
can come up with.
--
Chad Walstrom <address@hidden> http://www.wookimus.net/
assert(expired(knowledge)); /* core dump */