From 0175c784b2f9b25624c5be0dd5dc773c0cc8e4cb Mon Sep 17 00:00:00 2001 From: Thomas Ba Date: Thu, 22 Dec 2011 13:35:03 +0100 Subject: [PATCH] =?UTF-8?q?Readme=20erg=C3=A4nzt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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)