Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

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 dbitouze5_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, for this purpose: The DTL text is pretty straightforward, for this purpose:
 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⟩+  dv2dt -o ⟨doc.txt⟩ ⟨doc.dvi⟩
  
 //edit the ''txt'' file// //edit the ''txt'' file//
  
-  ''dt2dv -o'' ⟨edited.dvi⟩ ⟨edited.txt⟩+  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⟩+  python dviasm.py -o ⟨doc.txt⟩ ⟨doc.dvi⟩
  
 //edit the ''txt'' file// //edit the ''txt'' file//
  
-  ''python dviasm.py -o'' ⟨edited.dvi⟩ ⟨edited.txt⟩+  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
5_fichiers/fontes/ou_sont_les_fontes_am.1669840506.txt.gz · Dernière modification : 2022/11/30 20:35 de dbitouze
CC Attribution-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0