diff --git a/scripts/FIXME_list.sh b/scripts/FIXME_list.sh old mode 100644 new mode 100755 diff --git a/scripts/add_parens_for_own_funcs.sh b/scripts/add_parens_for_own_funcs.sh old mode 100644 new mode 100755 diff --git a/scripts/convert_to_utf_8.sh b/scripts/convert_to_utf_8.sh old mode 100644 new mode 100755 diff --git a/scripts/find_dots_no_parens.sh b/scripts/find_dots_no_parens.sh old mode 100644 new mode 100755 diff --git a/scripts/find_repeated_words.sh b/scripts/find_repeated_words.sh old mode 100644 new mode 100755 diff --git a/scripts/find_slashes_no_parens.sh b/scripts/find_slashes_no_parens.sh old mode 100644 new mode 100755 diff --git a/scripts/man_show_fixme.sh b/scripts/man_show_fixme.sh old mode 100644 new mode 100755 diff --git a/scripts/markup_check.sh b/scripts/markup_check.sh old mode 100644 new mode 100755 diff --git a/scripts/print_encoding.sh b/scripts/print_encoding.sh old mode 100644 new mode 100755 diff --git a/scripts/remove_COLOPHON.sh b/scripts/remove_COLOPHON.sh old mode 100644 new mode 100755 diff --git a/scripts/unformat_parens.sh b/scripts/unformat_parens.sh old mode 100644 new mode 100755