diff --git a/doc/export-wiki.sh b/doc/export-wiki.sh old mode 100644 new mode 100755