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
|