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

[Karl Berry]

Hi Jim,

    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.

Thanks,
Karl