From: Eli Zaretskii <[EMAIL PROTECTED]>
Subject: Re: ugly menu in html
Date: Mon, 25 Oct 1999 13:42:10 +0200 (IST)
> (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.
If the current behavior is what you intended, that's all right. But
it is definitely preferable for the user to choose whether makeinfo
assumes that the rest are secondary headers or not. This kind of
flexibility (customization) should be one of the advantages of GNU
software, I think. Thus, I'd like to propose adding one or more
macros, such as @menu_header, so that we can specify which header is
main and which header is secondary explicitly.
----------------------------------------------------------------------
OKUJI Yoshinori <[EMAIL PROTECTED]> ^o-o^
http://duff.kuicr.kyoto-u.ac.jp/~okuji (in English) m /
