CopyTeXFiles

Da TEXDME mit temporären Dateien arbeitet, müssen diese vor der Beendigung der Arbeit mit dem Editor gesichert werden. Nach dem Aufruf erscheint ein File-Requester, in dem man das Zielverzeichnis angeben kann. Es werden nun alle zu der aktuellen Datei gehörenden Dateien in das Zielverzeichnis kopiert. Dabei werden keine Dateien mit den Endungen .log und .tex kopiert.


Aufruf: rx1 CopyTeXFiles \$fname