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