summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2015-10-17 16:35:33 +0200
committerGregor Kleen <gkleen@yggdrasil.li>2015-10-17 16:35:33 +0200
commitd53e624fe2d3236a8dce751fd0f3bfde49f04134 (patch)
tree0a55fea46420bba6e5dbb40b535ee5880832d48e
parent822f938a89fca26e16b7260d165bb92679021a61 (diff)
downloaduni-d53e624fe2d3236a8dce751fd0f3bfde49f04134.tar
uni-d53e624fe2d3236a8dce751fd0f3bfde49f04134.tar.gz
uni-d53e624fe2d3236a8dce751fd0f3bfde49f04134.tar.bz2
uni-d53e624fe2d3236a8dce751fd0f3bfde49f04134.tar.xz
uni-d53e624fe2d3236a8dce751fd0f3bfde49f04134.zip
Switched from redo to gup
-rw-r--r--.gitignore2
-rw-r--r--default.pdf.do7
-rw-r--r--gup/Gupfile2
-rwxr-xr-xgup/pdf.gup6
l---------ws2015/betriebssysteme/blaetter/01/default.pdf.do1
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 @@
1**/.redo 1**/.gup
2**/*.pdf 2**/*.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 @@
1redo-ifchange $2.md
2
3tmp=$(mktemp --suffix=.pdf)
4
5pandoc -t latex -o $tmp -V "geometry=margin=2cm" -V "fontfamily=libertine" $2.md >&2
6
7cat $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 @@
1pdf.gup:
2 **/*.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 @@
1#!/usr/bin/env zsh
2
3gup -u ${2%.pdf}.md
4
5pandoc -t latex -o $2 -V "geometry=margin=2cm" -V "fontfamily=libertine" ${2%.pdf}.md >&2
6touch $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 @@
1../../../../default.pdf.do \ No newline at end of file