diff options
| -rwxr-xr-x | scripts/lesson-make | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/lesson-make b/scripts/lesson-make index 64d8232d..11d8230d 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -26,9 +26,10 @@ if [[ -z "${targets[*]}" ]]; then ;; esac - if [[ "${source}" != *"test_lehrer.tex" ]] \ + if [[ "${source}" != *solution*.tex ]] \ + && [[ "${source}" != *"test_lehrer.tex" ]] \ && [[ "${source}" != *"test_loesung.tex" ]] \ - && grep -qe 'iflehrer\|lehrerversion\|gap\|solution' "${source}"; then + && 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}") |