Différences

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

--- 5_fichiers:dvi:convertir_un_fichier_dvi_en_ascii [2021/03/10 10:51] – Mention de "dvitty" et de l'historique de ''dvi2tty". jejust
+++ 5_fichiers:dvi:convertir_un_fichier_dvi_en_ascii [2022/07/14 10:07] (Version actuelle) – Nom des packages pas en fonte à chasse fixe (pour l'homogénéité) dbitouze
@@ Ligne 2: / Ligne 2: @@
-$\Reponse$  ''[[ctanpkg>catdvi]]'' produit un bon résultat et gère plusieurs codages
+$\Reponse$  [[ctanpkg>catdvi]] produit un bon résultat et gère plusieurs codages
 de caractères. [[http://catdvi.sourceforge.net/|Voir aussi sa page d'accueil]].
-$\Reponse$  On peut utiliser ''[[ctanpkg>dvi2tty]]''.
+$\Reponse$  On peut utiliser [[ctanpkg>dvi2tty]].
 Ce programme a quelques difficultés avec les ligatures; une solution semble être d'utiliser
 une police sans ligatures, comme par exemple ''courier''.
 <note>
-Vous trouverez aussi ''[[ctanpkg>dvitty]]''. Il s'agit en fait de la première version
+Vous trouverez aussi [[ctanpkg>dvitty]]. Il s'agit en fait de la première version
-de ''[[ctanpkg>dvi2tty]]'', écrite en Pascal (de 1984 à 1986).
+de [[ctanpkg>dvi2tty]], écrite en Pascal (de 1984 à 1986).
 Le programme a été réécrit en ''C'' vers 1989, et c'est bien ''dvi2tty'' qui est actuellement maintenu.
 </note>