diff --git a/tool/rdoc-srcdir b/tool/rdoc-srcdir old mode 100644 new mode 100755