diff --git a/.travis/omit-dist.sh b/.travis/omit-dist.sh
deleted file mode 100755
index f107a6b9..00000000
--- a/.travis/omit-dist.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-if [ $TRAVIS_BRANCH == "develop" ] && $(git diff --name-only $TRAVIS_COMMIT_RANGE | grep -qE "^(demo/)?dist/"); then
-	echo 'Build output ("dist" and "demo/dist") not permitted in develop' >&2
-	exit 1
-fi