On Sun, 24 Oct 1999, OKUJI Yoshinori wrote:
> This is the very thing I expected, but the html file generated is
> displayed like this (I've tested it by w3m and Netscape):
>
> head1
>
> node1:
>
> head2
> node2:
>
> Because makeinfo assumes that "head2" should be between <ul> and
> </ul> as well as "node1" and "node2". I think makeinfo should produce
> the following html instead:
>
> <p>head1
>
> <ul>
> <li><a href="#node1">node1</a>:
> </ul>
>
> <p>head2
>
> <ul>
> </p><li><a href="#node2">node2</a>:
> </ul>
We've been there before, and the current behavior is a compromise
after several frustrating iterations.
The problem is that HTML doesn't have any standard documented way of
producing the output that looks like the Info file:
Header1
* Node1::
Header2
* Node2::
What HTML *does* support is either this:
Header1
* Node1
Header2
* Node2
or this:
Header1
* Node1
Header2
* Node2
(Both look ugly, IMHO.) Since makeinfo is primarily intended for
converting GNU docs, and since in GNU docs the first header of a menu
(Header1 in the example above) is the main header, while the rest are
secondary headers of detailed node listings, the different treatment
of the first and the rest of the headers might actually make sense.
Of course, if we have second thoughts, we can change this behavior.
