Readme ergänzt

14 years ago · 0175c784b2
parent a598afc776
commit 0175c784b2
1 changed files with 12 additions and 0 deletions
--- 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 <input> <output>
 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)