On Sun, Feb 20, 2022 at 10:42:25AM +, Gavin Smith wrote:
> Good.
>
> >
> > HTML: two options
> > * book-like: format the text before the first @node or sectioning
> > including the title page. Do not output the Top node.
> > Default for CONTENTS_OUTPUT_LOCATION is after_title
> > * non bo
On Thu, Mar 10, 2022 at 09:55:46PM -0600, Jacob Bachmeyer wrote:
> Patrice Dumas wrote:
> > On Sun, Feb 20, 2022 at 10:42:25AM +, Gavin Smith wrote:
> > > Again I think the name of the option shouldn't contain the work "book",
> > > as it is too vague.
> >
> > I added a customization variable