Le programme Makedot crée des fichiers de paramètres pour dvidot. Il a deux
fonctions:
-
conversion
d'un
fichier
texte
en
un
fichier
de
paramètres
(.dot);
-
conversion
d'un
fichier
de
paramètres
.dot
en
un
fichier
texte.
Pour modifier un fichier de paramètres, il faut d'abord le convertir en un fichier texte
pouvant être traité par un éditeur. Le fichier texte modifié peut alors être à son tour
reconverti en fichier de paramètres.
Makedot permet aussi de créer les fichiers binaires requis par l'option +init-files de
Dvihplj et Dvidot.
