[m-dev.] for review: Aditi updates[6]

[Simon Taylor]

> > > There are sufficiently many @subsubheadings that I think there should be
> > > separate @nodes for each @subsubheading here, with an @menu to select
> > > between them.
> > 
> > See the comment above: "@c XXX texinfo doesn't have subsubsubsection."
> 
> Yes, but I think you can use @node even without @subsubsubsection,
> can't you?

makeinfo doesn't like it:

makeinfo reference_manual.texi
Making info file `mercury_ref.info' from `reference_manual.texi'.
reference_manual.texi:5141: Node `Aditi update notes::' requires a sectioning command (e.g. @top).

I suspect that filling in all the fields of the `@node' command would
make this go away, but I'm going to move all of this up a level or
two soon anyway, so it's not worth the effort.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------