Re: makeinfo --html creates dangling #dir refs

[Karl Berry]

    Nothing special, so certainly the same than makeinfo --html.

wdyt of changing "(dir)" references to ".."?  It's not perfect, but it's
probably easy to do and a lot more likely to be useful until we figure
out all the details of the cross-manual stuff.

Thanks,
Karl