!html_header_links

Type & position:	command, preamble
Syntax:	`!html_header_links <text>`
Description:	Ist dieser Schalter gesetzt, so werden je nach Vorgabe `<link>`-Elemente im HTML-Header erzeugt: Enthält `<text>` navigation, werden die Links zur Navigation erzeugt (title="Beginn des Dokumentes">, ebenso Enthält `<text>` chapter, werden alle Links zu den Kapiteln erzeugt (title="...">, ebenso für "section"). Dadurch, dass die Link-Elemente nicht mehr automatisch, sondern nur noch auf Anforderung erzeugt werden, entstehen kleinere HTML-Dateien.
Description:	If this switch is set, several `<link>` elements are generated in the HTML header as following: If <text> contains navigation, links for navigation are generated (title="Begin of the document">, just as If <text> contains chapter, links for all nodes are generated (title="...">, same for "section"). In the past, these link elements were produced automatically. Now, you get the link elements only if you really want them. This makes smaller HTML files.
Exists since:	Version 6.5.2