Generazione dei manali HTML


La quarta fase è automatica

  1. Si scandiscono i documenti man con dtd=man.
  2. Il body di questo documento contiene la prefazione del manuale. Si genera un documento html che contiene:
    1. Il testo della prefazione.
    2. L'indice completo del manuale formato di puri titoli e link ai documenti inclusi.
    3. Un link ai file TeX generati:
      1. Postscript.
      2. Pdf.
dst.3jmotre.04 • LastModified: 14-9-2007 • John Peter Arnold