From 46ae60eaca841b554ba20c6a2b7a15b43c12b4df Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 18 Dec 2018 13:51:16 +0100 Subject: Much ado about nothing --- thesis.pdf.gup | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'thesis.pdf.gup') diff --git a/thesis.pdf.gup b/thesis.pdf.gup index 2167f7b..6e2fa65 100755 --- a/thesis.pdf.gup +++ b/thesis.pdf.gup @@ -1,10 +1,13 @@ #!/usr/bin/env zsh +gup -u edit-lens/src/Control/Edit.lhs gup -u edit-lens/src/Control/Lens/Edit.lhs -gup -u edit-lens/src/Control/Lens/Edit/Compose.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 bDir=$(pwd) cd .. -exec gup/pdf.gup $1 ${bDir}/$2 \ No newline at end of file +exec gup/pdf.gup $1 ${bDir}/$2 -- cgit v1.2.3