diff --git a/doc/src/Howto_bash.txt b/doc/src/Howto_bash.txt old mode 100755 new mode 100644