OVERVIEW_LINK_TO_TOC and other variables

[Gavin Smith]

On Tue, Dec 21, 2021 at 09:28:45PM +0000, Gavin Smith wrote:
> 
> > (Also, I don't want the loud "Short Table of Contents" header.  Is there a 
> > way
> > to suppress that?  I like that the list is numbered instead of bulleted, 
> > but do
> > not want the header.)

As far as I can tell, no.

I tried the BEFORE_OVERVIEW variable but it didn't affect the heading.

> > > 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.  However, the links don't work: clicking them does not lead 
> > anywhere.
> > 
> > :|
> 
> Haven't looked into this yet.

So it looks like the default behaviour for the Short Table of Contents
is to link to the corresponding part of the Table of Contents, even if
there is none.  That's why the links didn't work.

This is customized with the OVERVIEW_LINK_TO_TOC variable.  It's not easy
to find this out because the manual calls it the "Overview" and not the
"Short Table of Contents":

'OVERVIEW_LINK_TO_TOC'
     If set, the cross-references in the Overview link to the
     corresponding Table of Contents entries; default true.

My suggestion is to remove this variable and make the links in the
@shortcontents link to the chapters themselves by default.  Any comments?

I also propose removing BEFORE_OVERVIEW, AFTER_OVERVIEW, BEFORE_TOC_LINES
and AFTER_TOC_LINES as they don't seem to be very useful.  These can easily
produce invalidly nested HTML if not used correctly.

I looked through mailing list archives and ChangeLog but couldn't find
any mention of these variables.