On Tue, 26 Oct 1999, OKUJI Yoshinori wrote:
> 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.
Can't you use @menu to achieve the same results? Something like this:
@menu
header1
* node1::
@end menu
@menu
*node2::
header2
*node3::
@end menu
