Re: html export, bottom navigation

[Eli Zaretskii]

> From: Jean-Christophe Helary <address@hidden>
> Date: Sun, 3 Mar 2019 10:34:04 +0900
> 
> > You do it with the WORDS_IN_PAGE customization variable.
> 
> What about this adding a word about that in the manual ?

That variable is already documented in the Texinfo manual.

> Navigation bar: By default, a navigation bar is inserted at the start of each 
> node, analogous to Info output.  If the --no-headers option is used or if the 
> number of words in a page is inferior to the value of the WORDS_IN_PAGE 
> customization variable (300 by default), the navigation bar is only inserted 
> at the beginning of split files.  Header <link> elements in split output can 
> support Info-like navigation with browsers like Lynx and Emacs W3 which 
> implement this HTML 1.0 feature.

The details, if they are missing, should go where the variable is
documented; the reference can be in the place where navigation bar is
described.  It makes no sense to have 2 places which describe the same
variable.

Thanks.