diff --git a/docs/make.bat b/docs/make.bat
old mode 100644
new mode 100755