From: Martin Mares Date: Thu, 18 Jul 2019 08:15:07 +0000 (+0200) Subject: mkdist: process both versions of README X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=8d6e824f35b26b82d287bbea63200a695210b8a4;p=diplomky.git mkdist: process both versions of README --- 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