blob: bb611f4120698276f7af9957b79b8f694dbab936 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/usr/bin/env zsh
gup -u intro.tex
gup -u implementation.tex
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
gup -u edit-lens/src/Control/FST/Lens.tex
bDir=$(pwd)
cd ..
exec gup/pdf.gup $1 ${bDir}/$2
|
