[Top][All Lists]
[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).