[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:07:48 +0100 |
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.
It does not make so that nodes cannot be targets of cross references.
So it would not mess up the cross references.
--
Pat
Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML, jai-bholeki, 2020/11/01
Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML, Patrice Dumas, 2020/11/01
- Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML, Gavin Smith, 2020/11/01
- Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML, Patrice Dumas, 2020/11/01
- Location of contents for HTML, Gavin Smith, 2020/11/09
- Re: Location of contents for HTML, Patrice Dumas, 2020/11/09
- Re: Location of contents for HTML, Gavin Smith, 2020/11/10
- Re: Location of contents for HTML, Patrice Dumas, 2020/11/10