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