thesis.pdf.gup


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/usr/bin/env zsh

gup -u edit-lens/src/Control/Edit.lhs
gup -u edit-lens/src/Control/Lens/Edit.lhs
gup -u edit-lens/src/Control/FST.lhs
gup -u edit-lens/src/Control/DFST.lhs
gup -u edit-lens/src/Control/DFST/Lens.lhs

bDir=$(pwd)

cd ..

exec gup/pdf.gup $1 ${bDir}/$2