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