diff --git a/doc/Makefile b/doc/Makefile old mode 100755 new mode 100644