Dateinamen zuweisen (nur HTML)
Typ & Position: | Kommando, Hauptteil
|
Syntax: | !html_name <datei>
|
Beschreibung: | Taucht dieses Kommando innerhalb eines Kapitels, Abschnitts,
Unterabschnitts oder Paragraphen auf, so wird dieser Name anstelle von
KKAAUUPP (KK Kapitelnummer, AA Abschnittsnummer, UU
Unterabschnittsnummer, PP Paragraphennummer) für die spätere
HTML-Datei verwendet.
|
Beispiel: | !html_name software
|