diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2017-11-23 15:59:10 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2017-11-23 15:59:10 +0100 |
| commit | aca24d6f4a2a2780881bd24a5b26fdf74d17326a (patch) | |
| tree | c6395d7278043c290466644aee922535e5f53d69 /thesis.pdf.gup | |
| parent | fd5b04d1bc2beb62599377202c62fb7ffca61edd (diff) | |
| download | incremental-dfsts-aca24d6f4a2a2780881bd24a5b26fdf74d17326a.tar incremental-dfsts-aca24d6f4a2a2780881bd24a5b26fdf74d17326a.tar.gz incremental-dfsts-aca24d6f4a2a2780881bd24a5b26fdf74d17326a.tar.bz2 incremental-dfsts-aca24d6f4a2a2780881bd24a5b26fdf74d17326a.tar.xz incremental-dfsts-aca24d6f4a2a2780881bd24a5b26fdf74d17326a.zip | |
Refactor
Diffstat (limited to 'thesis.pdf.gup')
| -rwxr-xr-x | thesis.pdf.gup | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/thesis.pdf.gup b/thesis.pdf.gup new file mode 100755 index 0000000..2167f7b --- /dev/null +++ b/thesis.pdf.gup | |||
| @@ -0,0 +1,10 @@ | |||
| 1 | #!/usr/bin/env zsh | ||
| 2 | |||
| 3 | gup -u edit-lens/src/Control/Lens/Edit.lhs | ||
| 4 | gup -u edit-lens/src/Control/Lens/Edit/Compose.lhs | ||
| 5 | |||
| 6 | bDir=$(pwd) | ||
| 7 | |||
| 8 | cd .. | ||
| 9 | |||
| 10 | exec gup/pdf.gup $1 ${bDir}/$2 \ No newline at end of file | ||