1 files changed, 0 insertions, 30 deletions
diff --git a/doc/cronjob.sh b/doc/cronjob.sh
deleted file mode 100755
index 156c96fb..00000000
--- a/doc/cronjob.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/sh -
-# $Id$
-
-lock=cronjob.lock
-
-cd `/usr/bin/dirname $0` || exit
-
-case "$1" in
-
-locked)
-    exec >cronjob.log 2>&1
-    set -x
-    export PATH=/bin:/usr/bin:/usr/local/bin
-    /usr/local/bin/svn update ..
-    /usr/local/bin/python ../buildtools/pull-doc-from-wiki.py
-    /usr/local/bin/svn status
-    if test -n "$(/usr/local/bin/svn status doc.*)"
-    then
-	/usr/local/bin/svn add --force doc.* manual.pdf
-	/usr/local/bin/svn commit --message 'Automatic pull of documentation from Wiki.' doc.* manual.pdf
-    else
-	/usr/local/bin/svn revert manual.pdf
-    fi
-    /usr/local/bin/svn update
-    ;;
-*)
-    exec /usr/bin/lockf -s -t 0 $lock "$0" locked
-    ;;
-
-esac