Il s'agit de la commande dt2dv qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'une de nos multiples stations de travail en ligne gratuites telles que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS.
PROGRAMME:
Nom
dt2dv - convertit une représentation texte DTL d'un fichier TeX DVI en un fichier DVI binaire
SYNOPSIS
dt2dv [-déboguer] [-groupe] [-Oui] [-donc] [fichier DTL d'entrée] [fichier-DVI-de sortie]
En l'absence du -Oui et les -donc options, les deux arguments du fichier sont conditions dans l'ordre
fichier DTL d'entrée fichier de sortie DVI . Mais consultez également la section OPTIONS ci-dessous. Pas de fichier par défaut
des rallonges sont fournies.
DESCRIPTION
dt2dv convertit une représentation textuelle d'un fichier TeX DVI, généralement produit par le compagnon
dv2dt(1) utilitaire, retour à un fichier binaire DVI. DTL (DVI Texte Connection Linguistique) les fichiers peuvent être édités,
avec soin, puis restauré sous forme DVI pour être traité par n'importe quel programme pilote TeX DVI. Dans
Les fichiers DTL, les noms de répertoires de polices et les noms de polices sont précédés d'un champ de longueur, qui doit
être mis à jour si les noms sont modifiés.
type dvi(1) peut également afficher une représentation textuelle des fichiers DVI, mais dans certains
implémentations au moins, il ne peut pas être utilisé en mode batch et sa sortie n'est pas bien
adapté à la reconversion en fichier DVI.
Le format des fichiers TeX DVI est entièrement décrit dans Donald E. Knuth, Texas: La Programme,
Addison-Wesley (1986), ISBN 0-201-13437-3, ainsi que dans le type dvi(1) programme alphabétisé
code source. De brèves descriptions des formats DTL et DVI sont données dans dv2dt (1).
OPTIONS
-déboguer Activez la sortie de débogage détaillée.
-groupe Attendez-vous à ce que chaque commande DTL soit entre parenthèses.
-Oui Lisez toutes les commandes DTL à partir de l’entrée standard.
-donc Écrivez toutes les commandes DVI sur la sortie standard.
Utilisez dt2dv en ligne à l'aide des services onworks.net