mkdist: process both versions of README

diff --git a/mkdist b/mkdist
index 94df7fc789805a18e133d99c1da848812015ff7e..3d4ac4f53b31ea80ac4491b79edf0e58bedb6dea 100755 (executable)
--- 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