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 [2018/12/04 00:15] – jejust | 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 | ||
| Ligne 63: | Ligne 58: | ||
| ----- | ----- | ||
| - | //Source:// [[faquk> | + | //Source:// [[faquk> |
| {{htmlmetatags> | {{htmlmetatags> | ||
