Man2Tex.cmd • Da DTD MAN a TeX

Il job ha lo scopo di stampare un manuale completo. Il lavoro viene lanciato dalla uui.arm.dar.tex01. Può essere anche lanciato da notes tramite job.Notes2Man. La stampa del manuale avviene leggendo i documenti nella dardat/db -- Directory Root DB. Il lavoro non effettua normalmente la stampa del manuale --- è però possibile richiederla lanciando il lavoro da menu --- ma si limita a produrre la stampa in formato pdf. L'utente potrà poi stampare --- se lo ritiene opportuno --- tramite acrobat.

L'utente esegue il lavoro tramite la voce uui.arm.dar.tex01, richiedendo o meno anche la stampa sulla sua stampante di default. La stampa se richiesta avverrà utilizzando il file postscript intermedio. Normalmente si utilizza la voce uui.arm.dar.tex03 per visualizzare e/o stampare il manuale in formato pdf.

Sia il file postscript che il file pdf vengono resi accessibili anche dalle pagine HTML.

Il job traduce un file SGML con DTD = MAN in un file TeX. Il file Tex viene poi tradotto nei seguenti files:

• *.dvi • Stampa in formato DVI --- formato di output specifico al TeX. Può essere esaminato con yap.exe.
• *.ps • Stampa in formato Postscript.
• *.pdf • Stampa in formato Pdf.

Lo script riceve i parametri:

1. Il nome del documento SGML da tradurre. Il file non deve avere il suffisso ".sgml".
2. Un flag ('S' o 'N') che indica se si desidera la stampa.

Esegue i seguenti passaggi:

1. src.BuildTexScript.cmd
2. src.EmitTex.cmd
3. src.Tex2Dvi.cmd
4. src.Dvi2Ps.cmd
5. src.gsPs2Pdf.cmd o src.Ps2Pdf.cmd a seconda della presenza o meno del ghostscript
6. arprint se richiesto