From f4c419b9ddec15bad267a4463f0720d6e28042d2 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Thu, 30 May 2019 12:18:08 +0200 Subject: Further work --- thesis.pdf.gup | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'thesis.pdf.gup') 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) -- cgit v1.2.3