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

[Jim Meyering]

Karl Berry wrote:
>     bug-texinfo folks, I had to make changes to gendocs.sh in gnulib
>
> I (or rather srclist-update) had previously noticed and I (silently :)
> incorporated your changes upstream.
>
>     so that it would work with a diff.texi input file that generates
>     e.g., diffutils.info outputs:
>
> Aside from anything else, why not rename diff.texi?  Having such special
> cases seems undesirable.

Hi Karl,

That was my first reflex.
However, I noticed the problem in the small interval
right after release, in which I expected the web-doc
update process to take just a couple seconds of my time.

Rather than letting the tool dictate such a change on
the spur of the moment (when we're supposed to be recording
the state of the just-released code), I thought it'd be
safer to fix the tool.

Otherwise, the installed documentation files would all
change name (s/diff/diffutils/), and my usual procedure
would fail to update the existing web links.  That seemed
likely to leave stale documentation behind the well-known URLs.

If someone can take care of redirecting the likes of this
  http://www.gnu.org/software/diffutils/manual/diff.html
(and all the variants) to point to diffutils.html, etc.
then I'll be happy to rename the .texi file.