Re: makeinfo --html creates dangling #dir refs

[Ralf Wildenhues]

* Karl Berry wrote on Mon, Dec 08, 2008 at 09:03:06PM CET:
> 
>     <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.

Yes, that sounds good to me.

> 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 ...

;-)

Cheers,
Ralf