5 files changed, 9 insertions, 9 deletions

diff --git a/.gitignore b/.gitignore
index f8b050f..8a39c40 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,2 @@
-**/.redo
+**/.gup
 **/*.pdf
diff --git a/default.pdf.do b/default.pdf.do
deleted file mode 100644
index d6b4ac4..0000000
--- a/default.pdf.do
+++ /dev/null
@@ -1,7 +0,0 @@
-redo-ifchange $2.md
-
-tmp=$(mktemp --suffix=.pdf)
-
-pandoc -t latex -o $tmp -V "geometry=margin=2cm" -V "fontfamily=libertine" $2.md >&2
-
-cat $tmp
diff --git a/gup/Gupfile b/gup/Gupfile
new file mode 100644
index 0000000..159f942
--- /dev/null
+++ b/gup/Gupfile
@@ -0,0 +1,2 @@
+pdf.gup:
+  **/*.pdf
\ No newline at end of file
diff --git a/gup/pdf.gup b/gup/pdf.gup
new file mode 100755
index 0000000..9b6749e
--- /dev/null
+++ b/gup/pdf.gup
@@ -0,0 +1,6 @@
+#!/usr/bin/env zsh
+
+gup -u ${2%.pdf}.md
+
+pandoc -t latex -o $2 -V "geometry=margin=2cm" -V "fontfamily=libertine" ${2%.pdf}.md >&2
+touch $2
diff --git a/ws2015/betriebssysteme/blaetter/01/default.pdf.do b/ws2015/betriebssysteme/blaetter/01/default.pdf.do
deleted file mode 120000
index a3ec235..0000000
--- a/ws2015/betriebssysteme/blaetter/01/default.pdf.do
+++ /dev/null
@@ -1 +0,0 @@
-../../../../default.pdf.do
\ No newline at end of file