>>>>> "Mark" == Mark Wielaard <[EMAIL PROTECTED]> writes:

Mark>     (JNI Implementation): Mark JVMTI Implementation as next.
Mark>     (JVMTI Implementation): Mark JNI Implementation as prev.

Why do we fill in the prev/next pointers for @node?
It is simpler to write texinfo without them.  makeinfo will then do
the right thing based on the menu structure...

Tom

Reply via email to