diff --git a/docs/scripts/copy-docs.sh b/docs/scripts/copy-docs.sh old mode 100644 new mode 100755