Bruno Haible wrote: > Hi Jim, > >> * build-aux/gendocs.sh: When honoring the -s FILE option, update >> $PACKAGE to reflect the probably-different basename of "FILE". > > The build-aux/gendocs.sh mirrors the one from the texinfo source > repository. The comments say "Send bug reports and any other correspondence > to [email protected]." OK, probably Karl will do the right thing anyway.
Thanks Bruno, I hadn't noticed that. Cc'ing that list now. bug-texinfo folks, I had to make changes to gendocs.sh in gnulib so that it would work with a diff.texi input file that generates e.g., diffutils.info outputs: Here's the actual patch: http://thread.gmane.org/gmane.comp.lib.gnulib.bugs/21799 Here's some context/background: http://thread.gmane.org/gmane.comp.lib.gnulib.bugs/21793
