diff --git a/tools/release-docs b/tools/release-docs old mode 100644 new mode 100755