#!/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