diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2018-12-18 13:51:16 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2018-12-18 13:51:16 +0100 |
| commit | 46ae60eaca841b554ba20c6a2b7a15b43c12b4df (patch) | |
| tree | 0bb06127a0e08e75f8be755f5a5dfb1702b627b6 /thesis.pdf.gup | |
| parent | b0b18979d5ccd109d5a56937396acdeb85c857aa (diff) | |
| download | incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar.gz incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar.bz2 incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.tar.xz incremental-dfsts-46ae60eaca841b554ba20c6a2b7a15b43c12b4df.zip | |
Much ado about nothing
Diffstat (limited to 'thesis.pdf.gup')
| -rwxr-xr-x | thesis.pdf.gup | 7 |
1 files changed, 5 insertions, 2 deletions
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 @@ | |||
| 1 | #!/usr/bin/env zsh | 1 | #!/usr/bin/env zsh |
| 2 | 2 | ||
| 3 | gup -u edit-lens/src/Control/Edit.lhs | ||
| 3 | gup -u edit-lens/src/Control/Lens/Edit.lhs | 4 | gup -u edit-lens/src/Control/Lens/Edit.lhs |
| 4 | gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs | 5 | gup -u edit-lens/src/Control/FST.lhs |
| 6 | gup -u edit-lens/src/Control/DFST.lhs | ||
| 7 | gup -u edit-lens/src/Control/DFST/Lens.lhs | ||
| 5 | 8 | ||
| 6 | bDir=$(pwd) | 9 | bDir=$(pwd) |
| 7 | 10 | ||
| 8 | cd .. | 11 | cd .. |
| 9 | 12 | ||
| 10 | exec gup/pdf.gup $1 ${bDir}/$2 \ No newline at end of file | 13 | exec gup/pdf.gup $1 ${bDir}/$2 |