> From: Paul Eggert <[EMAIL PROTECTED]> > Date: Mon, 09 Apr 2007 10:19:25 -0700 > Cc: bug-gnulib <bug-gnulib@gnu.org>, bug-texinfo@gnu.org > > I agree with Eric: the most elegant way is to do what almost every > other GNU package has done, namely, to remove those redundant pointers > from the .texi file.
Agreed. In fact, there's only one valid reason for keeping these pointers: when the manual's nodes do not form a strict hierarchical structure, i.e. a tree. This happens very rarely (I only saw it in one manual).
