From d61936b426dcd3c68d607879e032c87f595313af Mon Sep 17 00:00:00 2001
From: BodgeMaster <>
Date: Thu, 12 Mar 2020 22:21:48 +0100
Subject: [PATCH] READMEs are not a part of our WebSite

---
 deployment-script.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/deployment-script.sh b/deployment-script.sh
index 592d1e6..85feb5f 100644
--- a/deployment-script.sh
+++ b/deployment-script.sh
@@ -3,6 +3,11 @@ echo "Deployment script for repository \"web-deployment\"
 `date`
 =============================================================================="
 
+#activate ** globs
+if [ -n "`shopt globstar | grep off`" ]; then shopt -s globstar; fi
+#remove READMEs
+rm ./threadr/**/README.md
+
 #run the code variable replacement
 echo -n "`find -name "*.php" -or -name "*.html" | sed 's/^/python variable_grabbler.py /;s/$/ variable_grabbler.pass0.json/'`" | bash -
 echo -n "`find -name "*.php" -or -name "*.html" | sed 's/^/python variable_grabbler.py /;s/$/ variable_grabbler.pass1.json/'`" | bash -
@@ -25,5 +30,6 @@ cp -v ./commands_ondemand.conf /var/www/strassenkind.ip/
 cp -v ./commands_status.conf /var/www/strassenkind.ip/
 echo "Done."
 
+
 echo "==============================================================================
 Done."