Re: gendocs.sh and images

[Karl Berry]

Hi Simon,

I can easily believe gendocs.sh does not cope with images and included
files.  As you know the script is very simple-minded.  For example, the
source .tar.gz is created with the trivial:

srcfiles=`ls *.texinfo *.texi *.txi 2>/dev/null`
tar czfh $outdir/$PACKAGE.texi.tar.gz $srcfiles

A few ideas come to mind:

(1) having a -I option, so makeinfo/tex can know about the included files, and

(2) having an option to allow for extra files to be included in the
    source.tar.gz.  (Or recursively parse the source for
    @include/@verbatiminclude, but that might
    lead to worse problems.  And I'm sure we couldn't reliably find the
    images by parsing the source.)

(3) As for the HTML images, it seems like we could postprocess the HTML
   output for <img> tags and include the image files that way?

I'm certainly open to other suggestions.

If you have any time to work on any of this, that would be great :).

Thanks,
k