diff --git a/README.md b/README.md index d66fcba..8580da2 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,18 @@ Diese liegen als LaTeX Datei in diesem git repo. Erstellen muss man sich die PDF Ich erstelle die PDF-Dateien immer mit `pdflatex *.tex` +## XML/IPE-Datein + +Die XML/IPE-Dateien sind mit dem Programm [IPE](http://ipe7.sourceforge.net/) erstellt. Um diese in EPS-Dateien umzuwandeln, kann man folgenden befehl verwenden: + + ipetoipe -eps -runlatex + +Oder wenn man alle in einem Verzeichnis Konvertieren will: + + for FILE in $(find bilder/ -iname '*.xml') ; do + ipetoipe -eps -runlatex $FILE ${FILE%.xml}.eps + done + # Vorlesungen * Vorkurs (2010)