mkdist: process both versions of README

5 years ago · 8d6e824f35
parent 560cf07026
commit 8d6e824f35
1 changed files with 3 additions and 3 deletions
--- a/6
+++ b/6
@ -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