I checked in fixes for these problems. I also uploaded an updated
https://domterm.org
On 12/21/21 12:28, Gavin Smith wrote:
Unrelated to your original message, but looking at those pages, I
noticed a few problems with info.js:
* Typing "i" brings up the index search box, but there is no index
On Thu, Dec 23, 2021 at 04:55:36PM +, Gavin Smith wrote:
> On Tue, Dec 21, 2021 at 09:28:45PM +, Gavin Smith wrote:
>
> > > > You could add @shortcontents at the start of the document to get a list
> > > > of chapters. Do you think that would solve the problem?
> > >
> > > It would. How
On Fri, Dec 24, 2021 at 08:07:02AM +, Gavin Smith wrote:
> On Fri, Dec 24, 2021 at 12:35:09AM +0100, Patrice Dumas wrote:
> > I think that it is wrong. Indeed, the principle of
> > CONTENTS_OUTPUT_LOCATION=inline is to have the table of contents
> > output where the @-command @contents is. If
On Fri, Dec 24, 2021 at 12:35:09AM +0100, Patrice Dumas wrote:
> On Tue, Dec 21, 2021 at 09:28:45PM +, Gavin Smith wrote:
> > On Mon, Oct 18, 2021 at 10:35:17AM +0200, Benno Schulenberg wrote:
> > > > By default a list of chapters isn't output at the start, as it would
> > > > be repetition fro
