diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lesson-make | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/lesson-make b/scripts/lesson-make index d3afcc2d..615427ec 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -26,7 +26,8 @@ if [[ -z "${targets[*]}" ]]; then ;; esac - if grep -qe 'iflehrer\|lehrerversion\|gap\|solution' "${source}"; then + if [[ "${source}" != *"test_lehrer.tex" ]] \ + && grep -qe 'iflehrer\|lehrerversion\|gap\|solution' "${source}"; then declare -a sus_targets=( "${new_targets[@]}" ) for sus_target in "${sus_targets[@]}"; do dir=$(dirname "${sus_target}") |