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