Questo manuale ha diversi obiettivi:
- Verificare il funzionamento del sistema. A tal fine raccoglie in modo sistematico:
- Le diverse possibilitŕ di formattazione dei testi.
- Tutti i tipi di documento gestiti, cioč tutti i dtd previsti dal sistema.
- Tutte le fonti di documentazione previste: notes, scansioni dei sorgenti.
- Fornire un'esempio dei diversi tipi di documento che possono essere gestiti.
- Fornire un'esempio di come vengono preparati i manuali e il risultante effetto in html e latex.
- Fornire un supporto all'addestramento sull'utilizzo del sistema.