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