Dtd::Man • Gestione Dtd Sorgenti


Gestisce il di documenti con dtd man, v. MAN -- Manuale o collezione.

Gestisce i seguenti campi che appartengono al dtd:

  • $dcl, Dcl del documento
  • $dtd, MAN
  • $name, nome del documento
  • $title, titolo del documento
  • $author, autore del documento
  • $date_composed, data di creazione
  • $date_changed, data di modifica
  • $category, categoria
  • $order, ordine all'interno della categoria
  • $language, lingua del manuale: italian, english
  • $tex_options, opzioni di generazione TeX
    • $toc, richiesto l'indice generale in testa al manuale, valori 0 o 1.
    • $lot, richiesto l'indice delle tabelle in testa al manuale, valori 0 o 1.
    • $lof, richiesto l'indice delle figure in testa al manuale, valori 0 o 1.
    • $xref, richiesto l'indice dei documenti in coda al manuale, valori 0 o 1.
  • $html_options, opzioni di generazione Html:
    • $hge, richiesta generazione indice, valori 0 o 1.
  • $perl_script, lingiua del manuale: italian, english
  • $contents, lista dei documenti creati da questo sorgente:
    • $dcl, dcl del documento
    • $name, nome del documento
  • $body, descrizone lunga

Gestisce inoltre i seguenti campi che non appartengono al dtd. Questi campi sono utilizzati a supporto nella scansione dei sorgenti:

  • $body_translator, reference al traduttore del body

cla.dtd..man • LastModified: 06-09-2000 • John Peter Arnold