1 files changed, 4 insertions, 0 deletions

diff --git a/thesis.pdf.gup b/thesis.pdf.gup
index 6e2fa65..bb611f4 100755
--- a/thesis.pdf.gup
+++ b/thesis.pdf.gup
@@ -1,10 +1,14 @@
 #!/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)