4.5 Notes

Certains des paramètres peuvent aussi être positionnés par les options de la ligne de commande de Dvidot. Cette méthode est recommandée. Chaque imprimante (et ses modes) devra avoir son propre fichier de paramètres. Les paramètres de ce fichier qui peuvent être modifiés sur la ligne de commande de Dvidot devront avoir des valeurs raisonnables, sans espérer couvrir tous les cas possibles, puisque les valeurs correctes peuvent être données facilement sur la ligne de commande ou dans le fichier de configuration.

Ne modifiez pas les fichiers paramètres fournis -- si vous devez les modifier, copiez-les d'abord dans un fichier de nom différent.

Lorsque vous aurez développé (et testé complètement) un ensemble de paramètres pour une nouvelle imprimante ou un nouveau mode, envoyez-le à l'auteur (son adresse est dans le fichier README), afin que d'autres puissent en profiter et qu'un standard puisse se constituer.

Si vous ne pouvez créer un fichier de paramètres pour une imprimante en appliquant la méthode ci-dessus, contactez l'auteur afin que Makedot/Dvidot puisse être étendu à ce nouveau cas.

Si vous voulez un ensemble de fontes pour une imprimante que l'auteur n'offre pas, contactez-le avant de torturer votre machine avec MFjob. Il suffit qu'une seule personne crée les polices! Vous devriez cependant trouver d'abord les paramètres corrects pour Metafont, puis les envoyer.

Un fichier de paramètres contenant xx*#+# ou xx*#-# dans une séquence de contrôle d'imprimante ne peut être utilisé avec les anciennes versions de Dvidot.