10.5
Version 1.5e (01-Sept-1994)
dvidot 1.5d
ne peut utiliser les anciens fichiers DOT (créés par
makedot 1.2b
ou inférieur).
Les niveaux de gris ne fonctionnent pas avec
dvipm 1.5d
.