bug-texinfo
[Top][All Lists]
Advanced

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

Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTM


From: Patrice Dumas
Subject: Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML
Date: Sun, 1 Nov 2020 23:09:30 +0100

On Sun, Nov 01, 2020 at 11:07:48PM +0100, Patrice Dumas wrote:
> On Sun, Nov 01, 2020 at 03:46:23PM +0000, jai-bholeki wrote:
> > 
> > > But this would be an argument against changing USE_NODES to 0,
> > 
> > It would mess up the cross references.  @node is used to make new
> > pages in info.  Thusly, when I want a reference without having info
> > make a new page, I use @anchor.  Having @node use as cross reference
> > is much more useful than just making a new page in info.  I would
> > then be against disregarding @node.
> 
> Setting USE_NODES to 0 does something specific:
>      Preferentially use nodes to decide where elements are separated.

Well, the interesting part is actually
     If set to false, preferentially use sectioning to decide where
     elements are separated.

In any case, it does not make so that nodes cannot be targets of cross
references.  So it would not mess up the cross references.

-- 
Pat



reply via email to

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