diff --git a/jenkins-build b/jenkins-build
deleted file mode 100755
index f4fbdaf57..000000000
--- a/jenkins-build
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-#
-# Jenkins uses this script to set up the gradle build. Jenkins will then call
-# gradle itself once this script has completed.
-
-set -e
-set -x
-
-# reset version code/name to current date
-versionCodeDate=`date +%s`
-versionNameDate=`date +%Y-%m-%d_%H.%M.%S`
-
-sed -i \
-    -e "s,android:versionCode=\"[0-9][0-9]*\",android:versionCode=\"$versionCodeDate\"," \
-    -e "s,android:versionName=\"\([^\"][^\"]*\)\",android:versionName=\"\1.$versionNameDate\"," \
-    F-Droid/AndroidManifest.xml
-
-if [ -z $ANDROID_HOME ]; then
-    if [ -e ~/.android/bashrc ]; then
-        . ~/.android/bashrc
-    else
-        echo "ANDROID_HOME must be set!"
-        exit
-    fi
-fi
-
-cd F-Droid