# HG changeset patch
# User Chris Cannam
# Date 1564485944 -3600
# Node ID 4acb5d8d80b6b84a354e9153ba657444381d7ff9
# Parent  540eca98552ec69d6c869242c2420f50d4ae86ac
Don't fail environmental check if README.md exists (but .txt and no-suffix don't)

diff -r 540eca98552e -r 4acb5d8d80b6 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Tue Jul 30 12:06:51 2019 +0100
+++ b/SCRIPTS/process.sh	Tue Jul 30 12:25:44 2019 +0100
@@ -605,7 +605,7 @@
     local good=yes
     echo 
     echo "Testing existence of README and accompanying files..."
-    if ! ls -1 "$dir" | egrep -qi "^readme(.txt)?$"; then
+    if ! ls -1 "$dir" | egrep -qi "^readme(.txt|.md)?$"; then
 	echo "ERROR: no README file found" | tee -a "$log"
 	good=no
     fi