Re: [PATCH] gendoc.sh 1.16 - correctly get *.texi and *.eps files

[Karl Berry]

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