summaryrefslogtreecommitdiff
path: root/thesis.pdf.gup
diff options
context:
space:
mode:
Diffstat (limited to 'thesis.pdf.gup')
-rwxr-xr-xthesis.pdf.gup7
1 files changed, 5 insertions, 2 deletions
diff --git a/thesis.pdf.gup b/thesis.pdf.gup
index 2167f7b..6e2fa65 100755
--- a/thesis.pdf.gup
+++ b/thesis.pdf.gup
@@ -1,10 +1,13 @@
1#!/usr/bin/env zsh 1#!/usr/bin/env zsh
2 2
3gup -u edit-lens/src/Control/Edit.lhs
3gup -u edit-lens/src/Control/Lens/Edit.lhs 4gup -u edit-lens/src/Control/Lens/Edit.lhs
4gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs 5gup -u edit-lens/src/Control/FST.lhs
6gup -u edit-lens/src/Control/DFST.lhs
7gup -u edit-lens/src/Control/DFST/Lens.lhs
5 8
6bDir=$(pwd) 9bDir=$(pwd)
7 10
8cd .. 11cd ..
9 12
10exec gup/pdf.gup $1 ${bDir}/$2 \ No newline at end of file 13exec gup/pdf.gup $1 ${bDir}/$2