grodvi |
groff à dvi |
Linux |
Externe |
Syntaxe
grodvi [ -dv ][-wn ][-Fdir ][files ... ]
|
Paramètres
Nom |
Description |
files |
Ce paramètre permet d'indiquer les fichiers à traiter. |
-d |
Ce paramètre permet d'indiquer de ne pas utiliser de raccourcis clavier pour intégrer des commandes de dessin. Les lignes horizontales et verticales seront intégrées par des règles. Les autres commandes de dessin seront ignorés. |
-v |
Ce paramètre permet d'afficher le numéro de version. |
-wn |
Ce paramètre permet de définir l'épaisseur de la ligne par défaut n millièmes d'un em. Si ce paramètre n'est pas spécifiée, l'épaisseur de la ligne est par défaut d'environ 0,04 em. |
-Fdir |
Ce paramètre permet d'ajouter le répertoire dir/devname au chemin de recherche pour les fichiers de description de police de caractères et de périphérique. En générale, le nom du périphérique est dvi. |
Description
Cette commande permet d'effectuer la conversion de la sortie groff à celle du format TeX dvi.
Dernière mise à jour : Samedi, le 14 novembre 2015