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
