Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | |||
5_fichiers:fontes:ou_sont_les_fontes_am [2022/11/30 20:35] – Menues corrections dbitouze | 5_fichiers:fontes:ou_sont_les_fontes_am [2022/11/30 20:36] (Version actuelle) – Codes nettoyés dbitouze | ||
---|---|---|---|
Ligne 36: | Ligne 36: | ||
The DTL text is pretty straightforward, | The DTL text is pretty straightforward, | ||
fontnames are in single quotes at the end of lines, so: | fontnames are in single quotes at the end of lines, so: | ||
- | | + | dv2dt -o ⟨doc.txt⟩ ⟨doc.dvi⟩ |
//edit the '' | //edit the '' | ||
- | | + | dt2dv -o ⟨edited.dvi⟩ ⟨edited.txt⟩ |
(you have to compile the C programs for this). | (you have to compile the C programs for this). | ||
Ligne 46: | Ligne 46: | ||
names in a section near the start of the document, and then dotted | names in a section near the start of the document, and then dotted | ||
about through the body, so: | about through the body, so: | ||
- | | + | python dviasm.py -o ⟨doc.txt⟩ ⟨doc.dvi⟩ |
//edit the '' | //edit the '' | ||
- | | + | python dviasm.py -o ⟨edited.dvi⟩ ⟨edited.txt⟩ |
Both routes seem acceptable ways forward; it is a matter of taste | Both routes seem acceptable ways forward; it is a matter of taste | ||
which any particular user may choose (it's not likely that it will be | which any particular user may choose (it's not likely that it will be |