Texinfo manual and the @top node

[Christian von Schultz]

Hello!

In the Texinfo manual (texinfo.texi from CVS), I think line 4936
("Usually, the first node of a Texinfo file is the `Top' node, and its
`Up' and `Previous' pointers point to the @file{dir} file, which
contains the main menu for all of Info.") seems to contradict line
5139 ("On the other hand, do not define the `Previous' node of the Top
node to be @samp{(dir)}"). I think one of them should be changed.

I also think there is something missing around line 5156. It says
"here is an example" but no example follows. My guess is that it
should be something like the following (but since I'm only learning
Texinfo, I might be wrong):

$ diff -c orig/texinfo.txi new/texinfo.txi
*** orig/texinfo.txi    2005-05-13 10:15:32.000000000 +0200
--- new/texinfo.txi     2005-05-13 10:20:22.000000000 +0200
***************
*** 5155,5160 ****
--- 5155,5164 ----
  For concreteness, here is an example with explicit pointers (which you
  can maintain automatically with the texinfo mode commands):
  
+ @example
+ @@node Top, Chapter 1, , (dir)
+ @end example
+ 
  Or you can leave the pointers off entirely and let the tools implicitly
  define them.  This is recommended.  Thus: