diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-11-24 17:38:54 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-11-24 17:38:54 +0100 |
| commit | afc34d76c845f1be96818addcffb4f70d9d2ea9d (patch) | |
| tree | 8e5d9180cc5986e219e5d776bf7bae37913fbf9d /thesis.pdf.gup | |
| parent | b9db9f8d7f3eb993ed345357c428a94c9a208c5b (diff) | |
| download | incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar.gz incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar.bz2 incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.tar.xz incremental-dfsts-afc34d76c845f1be96818addcffb4f70d9d2ea9d.zip | |
Work on containers
Diffstat (limited to 'thesis.pdf.gup')
| -rwxr-xr-x | thesis.pdf.gup | 6 |
1 files changed, 3 insertions, 3 deletions
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 @@ | |||
| 1 | #!/usr/bin/env zsh | 1 | #!/usr/bin/env zsh |
| 2 | 2 | ||
| 3 | gup -u edit-lens/src/Control/Lens/Edit.lhs | 3 | find edit-lens/src/ -name '*.lhs' -print0 | xargs -0 -- gup -u |
| 4 | gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs | 4 | find edit-lens/src/ -name '*.lhs' -print0 | gup --contents |
| 5 | 5 | ||
| 6 | bDir=$(pwd) | 6 | bDir=$(pwd) |
| 7 | 7 | ||
| 8 | cd .. | 8 | cd .. |
| 9 | 9 | ||
| 10 | exec gup/pdf.gup $1 ${bDir}/$2 \ No newline at end of file | 10 | exec gup/pdf.gup $1 ${bDir}/$2 |