Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
fichiers:fontes:ou_sont_les_fontes_am [2020/12/22 16:46] – Suppression de formatage inutile dbitouze | 5_fichiers:fontes:ou_sont_les_fontes_am [2022/11/30 20:36] (Version actuelle) – Codes nettoyés dbitouze | ||
---|---|---|---|
Ligne 5: | Ligne 5: | ||
series of fonts. | series of fonts. | ||
and they were the predecessors of the Computer Modern fonts that we | and they were the predecessors of the Computer Modern fonts that we | ||
- | all know and love (or hate)<sup class=" | + | all know and love (or hate)†. |
There' | There' | ||
fonts; they are (as their name implies) almost (but not quite) the | fonts; they are (as their name implies) almost (but not quite) the | ||
Ligne 12: | Ligne 12: | ||
'' | '' | ||
- | + | //† The fonts acquired their label " | |
- | > & | + | // |
- | > The fonts acquired their label " | + | |
- | > that their first implementation in MetaFont79 still wasn't quite right; | + | |
- | > Knuth' | + | |
- | + | ||
The appearance of DVI files that request them is sufficiently | The appearance of DVI files that request them is sufficiently | ||
Ligne 41: | 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 51: | 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 |