diff options
| -rw-r--r-- | gup/Gupfile | 4 | ||||
| -rw-r--r-- | gup/manifest.gup | 6 | 
2 files changed, 9 insertions, 1 deletions
| diff --git a/gup/Gupfile b/gup/Gupfile index 5d89a6a..0478f35 100644 --- a/gup/Gupfile +++ b/gup/Gupfile | |||
| @@ -1,4 +1,6 @@ | |||
| 1 | pdf.gup: | 1 | pdf.gup: | 
| 2 | 2 | ||
| 3 | abgabe.gup: | 3 | abgabe.gup: | 
| 4 | **/abgabe.zip \ No newline at end of file | 4 | **/abgabe.zip | 
| 5 | manifest.gup: | ||
| 6 | **/manifest \ No newline at end of file | ||
| diff --git a/gup/manifest.gup b/gup/manifest.gup new file mode 100644 index 0000000..91d501e --- /dev/null +++ b/gup/manifest.gup | |||
| @@ -0,0 +1,6 @@ | |||
| 1 | #!/usr/bin/env zsh | ||
| 2 | |||
| 3 | dir=$(dirname $2) | ||
| 4 | |||
| 5 | cd ${dir} | ||
| 6 | find . \( \( -path './.gup' -or -path './abgabe.zip' \) -and -prune \) -or \( -path '.' -or -path './manifest' \) -or -print >${1} \ No newline at end of file | ||
