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 | ||
