diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lesson-dist | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/lesson-dist b/scripts/lesson-dist index 2fd98ea3..159db664 100755 --- a/scripts/lesson-dist +++ b/scripts/lesson-dist @@ -1,7 +1,7 @@ #!/bin/bash # Create a distributable archive for my lesson material archive="$(basename "$PWD").zip" -readarray -t files < <(find -L . -mindepth 1 -not -path './.*' -printf '%p\n') +readarray -t files < <(find -L . -mindepth 1 -not -path '*/.*' -not -path '*/Copyrighted*' -printf '%p\n') zip "${archive}" "${files[@]}" # TODO: replace hardcoded base dir @@ -37,7 +37,6 @@ add_custom_latex_to_archive "${basedir}"/latex/common.tex \ readarray -t images < <(find "${basedir}"/latex/images -printf '%p\n') add_custom_latex_to_archive "${images[@]}" - # Include the needed latex classes if grep -Pzrq '(?s)documentclass.+test\}' .; then add_custom_latex_to_archive "${basedir}"/latex/test.cls |