1 files changed, 0 insertions, 24 deletions
diff --git a/.tools/contributors.sh b/.tools/contributors.sh
deleted file mode 100755
index 487c3cb4..00000000
--- a/.tools/contributors.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/bash
-
-source ./.tools/init.sh
-
-clientdata_init
-
-aptget_update
-aptget_install git-core gcc ca-certificates libxml2-utils make xsltproc
-rm -rf tools
-gitclone https://gitlab.com/evol evol-tools.git tools
-
-cd tools/contrib_xsl
-
-make about-server
-check_error $?
-
-cd ../../clientdata
-
-export RES=$(git diff)
-if [[ -n "${RES}" ]]; then
-    echo "Contributors list not updated"
-    git diff
-    exit 1
-fi