From 7c33e5ba8ad6077ff65172db8b6a3d56338d7669 Mon Sep 17 00:00:00 2001 From: Sebastian Tobie Date: Wed, 21 Feb 2018 08:42:10 +0100 Subject: [PATCH] SVGs werden jetzt in eps umgewandelt --- Dokumentation/build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Dokumentation/build.sh b/Dokumentation/build.sh index 7c616b2..f533086 100755 --- a/Dokumentation/build.sh +++ b/Dokumentation/build.sh @@ -2,6 +2,9 @@ hauptdatei=LiTerm build="xelatex -file-line-error -interaction=batchmode -synctex=-4 -output-directory=build $hauptdatei" dot -Teps -O bilder/*.dot +for bild in bilder/*.svg +do convert $bild $bild.eps +done $build biber --output-directory build $hauptdatei $build