1 files changed, 10 insertions, 0 deletions

diff --git a/thesis.pdf.gup b/thesis.pdf.gup
new file mode 100755
index 0000000..2167f7b
--- /dev/null
+++ b/thesis.pdf.gup
@@ -0,0 +1,10 @@
+#!/usr/bin/env zsh
+
+gup -u edit-lens/src/Control/Lens/Edit.lhs
+gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs
+
+bDir=$(pwd)
+
+cd ..
+
+exec gup/pdf.gup $1 ${bDir}/$2
\ No newline at end of file