From afc34d76c845f1be96818addcffb4f70d9d2ea9d Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 24 Nov 2017 17:38:54 +0100 Subject: Work on containers --- thesis.pdf.gup | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'thesis.pdf.gup') diff --git a/thesis.pdf.gup b/thesis.pdf.gup index 2167f7b..43a34e5 100755 --- a/thesis.pdf.gup +++ b/thesis.pdf.gup @@ -1,10 +1,10 @@ #!/usr/bin/env zsh -gup -u edit-lens/src/Control/Lens/Edit.lhs -gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs +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 \ No newline at end of file +exec gup/pdf.gup $1 ${bDir}/$2 -- cgit v1.2.3