Re: makeinfo --html creates dangling #dir refs

[Karl Berry]

Hi Ralf,

    <a name="Top"></a> ... href="#dir">(dir)</a>

I suppose a special case for dir should be inserted, but it's not
completely clear to me where it should go.  Just href="..", maybe.

Patrice, what does texi2html do?

    I suppose a related issue is that the upload of gendocs.sh products
    still requires adding some entries to manual/.symlinks in order for
    links to other packages' manuals to more or less work.  Fixing this
    so that it blends right in with www.gnu.org hierarchy would be neat.

Yes, it is our longstanding dream to make this all work properly ...

Thanks,
Karl