diff --git a/intra-doc-links.bash b/intra-doc-links.bash old mode 100644 new mode 100755