diff options
Diffstat (limited to 'thesis.pdf.gup')
-rwxr-xr-x | thesis.pdf.gup | 6 |
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 | ||
3 | gup -u edit-lens/src/Control/Lens/Edit.lhs | 3 | find edit-lens/src/ -name '*.lhs' -print0 | xargs -0 -- gup -u |
4 | gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs | 4 | find edit-lens/src/ -name '*.lhs' -print0 | gup --contents |
5 | 5 | ||
6 | bDir=$(pwd) | 6 | bDir=$(pwd) |
7 | 7 | ||
8 | cd .. | 8 | cd .. |
9 | 9 | ||
10 | exec gup/pdf.gup $1 ${bDir}/$2 \ No newline at end of file | 10 | exec gup/pdf.gup $1 ${bDir}/$2 |