blob: 43a34e53a60812f52cedc077f348f84e74d971f8 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/usr/bin/env zsh
find edit-lens/src/ -name '*.lhs' -print0 | xargs -0 -- gup -u
find edit-lens/src/ -name '*.lhs' -print0 | gup --contents
bDir=$(pwd)
cd ..
exec gup/pdf.gup $1 ${bDir}/$2
|