On Mon, Dec 08, 2008 at 02:03:06PM -0600, Karl Berry wrote: > 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?
Nothing special, so certainly the same than makeinfo --html. -- Pat
