[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: |
Gavin Smith |
Subject: |
Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML |
Date: |
Sun, 1 Nov 2020 19:01:05 +0000 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
On Sun, Nov 01, 2020 at 07:26:52PM +0100, Patrice Dumas wrote:
> On Sun, Nov 01, 2020 at 11:40:56AM +0000, Gavin Smith wrote:
> > On Sun, Nov 01, 2020 at 01:37:04AM +0100, Patrice Dumas wrote:
> > > Hello,
> > >
> > > Why is there no sectiontoc for the @top?
> >
> > Because the index.html file usually has @contents or @shortcontents
> > as well as the Top node.
> >
> > At https://www.gnu.org/software/texinfo/manual/texinfo/html_node/index.html
> > there are actually three tables of contents: @shortcontents, @contents,
> > and the menu. This is unnecessary.
>
> Ok, but then this means that there should be a sectiontoc if there is no
> @shortcontents nor @contents.
Yes, I agree. Also, I wonder if the contents and shortcontents should
be output after the Top node in index.html, rather than before.
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 <=
- 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
- Re: Location of contents for HTML, Gavin Smith, 2020/11/15
- Re: Location of contents for HTML, Patrice Dumas, 2020/11/15
Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML, Patrice Dumas, 2020/11/01