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