Re: [PATCH] gendocs.sh: make its "-s FILE" option more useful

[Jim Meyering]

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 address@hidden" 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