> From: Paul Eggert <[EMAIL PROTECTED]> > Date: Mon, 09 Apr 2007 10:19:25 -0700 > Cc: bug-gnulib <[email protected]>, [email protected] > > 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). _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
