[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Location of contents for HTML
From: |
Gavin Smith |
Subject: |
Re: Location of contents for HTML |
Date: |
Tue, 10 Nov 2020 16:25:59 +0000 |
User-agent: |
Mutt/1.9.4 (2018-02-28) |
> What about replacing INLINE_CONTENTS by a customization variable for all
> the contents locations possibilities, for example
> OUTPUT_CONTENTS_LOCATION
> which could take value
> inline or at_commands (INLINE_CONTENTS=1)
> separate_or_end (current INLINE_CONTENTS=0 case, separate if split, at
> end otherwise)
> after_top (the new option you propose which would become the default)
> before_top (after title)
> and there could be too
> separate
> end
This all sounds good. I will look into implementing something like this
unless you get to it first.
When you say "before_top", to mean after the title, this might not be
directly before the top node, for input such as:
\input texinfo
@settitle Manual
Some random text before the first node.
@node Top
@top Manual
This is the manual for manual.
@bye
Should the contents here be before or after "Some random text..."?
- Re: use directly section childs with sectiontoc, set USE_NODES 0 for HTML, (continued)
- 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, Patrice Dumas, 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, 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 <=
- 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