bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Difficulties in using getdate.texi from Texinfo documents which use


From: Eli Zaretskii
Subject: Re: Difficulties in using getdate.texi from Texinfo documents which use full @node commands
Date: Mon, 09 Apr 2007 21:20:29 +0300

> From: Paul Eggert <address@hidden>
> Date: Mon, 09 Apr 2007 10:19:25 -0700
> Cc: bug-gnulib <address@hidden>, address@hidden
> 
> 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).




reply via email to

[Prev in Thread] Current Thread [Next in Thread]