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 01db501a..6a4bfb9b 100755 --- a/scripts/lesson-make +++ b/scripts/lesson-make @@ -26,7 +26,7 @@ if [[ -z "${targets[*]}" ]]; then ;; esac - if grep -qe 'lehrerversion\|gap\|solution' "${source}"; then + if 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}") |