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