From d53e624fe2d3236a8dce751fd0f3bfde49f04134 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sat, 17 Oct 2015 16:35:33 +0200
Subject: Switched from redo to gup

---
 .gitignore                                        | 2 +-
 default.pdf.do                                    | 7 -------
 gup/Gupfile                                       | 2 ++
 gup/pdf.gup                                       | 6 ++++++
 ws2015/betriebssysteme/blaetter/01/default.pdf.do | 1 -
 5 files changed, 9 insertions(+), 9 deletions(-)
 delete mode 100644 default.pdf.do
 create mode 100644 gup/Gupfile
 create mode 100755 gup/pdf.gup
 delete mode 120000 ws2015/betriebssysteme/blaetter/01/default.pdf.do

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
-- 
cgit v1.2.3