diff --git a/make-doc.sh b/make-doc.sh
old mode 100644
new mode 100755
diff --git a/push.sh b/push.sh
old mode 100644
new mode 100755