Re: Makeinfo --html produces broken external refs

[Karl Berry]

    If gendocs.sh is contradicting the Texinfo manual and the code in
    makeinfo, I'd suggest to fix gendocs.sh.

I just said I would.

What I need is another umpteen hours in each day.  Or a patch to
gendocs.sh.

Thanks,
k