From 8d6e824f35b26b82d287bbea63200a695210b8a4 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Thu, 18 Jul 2019 10:15:07 +0200 Subject: [PATCH] mkdist: process both versions of README --- mkdist | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.39.2