diff --git a/start.sh b/start.sh old mode 100644 new mode 100755 diff --git a/update-docs.sh b/update-docs.sh old mode 100644 new mode 100755