* 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
