Déboguer

Les commandes DebugName et DebugAppend, configurées dans le fichier dtx.ini (INI), vous permettront de préciser comment créer le fichier journal de sortie.