dvifiles> sind dabei Namen beliebig vieler DVI-Dateien bzw. ein g"ultiger Wild-Card wie *.dvi (bzw. #?.dvi auf dem AMIGA). Auf diese Weise kann mehrere Dateien hintereinander bearbeiten. Die Angabe der Extension .dvi kann entfallen und wird in diesem Fall automatisch erg"anzt. options> ist eine Liste von Optionen, die auch leer sein kann. Zur Erkl"arung der m"oglichen Optionen lesen Sie bitte Abschnitt 1.2.