diff --git a/mkdist b/mkdist index 94df7fc..3d4ac4f 100755 --- a/mkdist +++ b/mkdist @@ -25,7 +25,7 @@ done /^%\+ *PHDONLY/,/^%\+ *ONLYPHD/d /^%\+ *NOPHD/d /^%\+ *PHDNO/d - ' */*.tex README + ' */*.tex README* ) # DP @@ -42,7 +42,7 @@ done /^%\+ *PHDONLY/,/^%\+ *ONLYPHD/d /^%\+ *NOPHD/d /^%\+ *PHDNO/d - ' */*.tex README + ' */*.tex README* if grep -Eri 'bakal|bachel' . ; then echo >&2 "Substitutions failed" exit 1 @@ -66,7 +66,7 @@ done /^%\+ *ONLYPHD/d /^%\+ *PHDNO/N /^%\+ *NOPHD/,/^%\+ *PHDNO/d - ' */*.tex README + ' */*.tex README* if grep -Eri 'bakal|bachel' . ; then echo >&2 "Substitutions failed" exit 1