diff options
Diffstat (limited to 'doc/tools/update-docs.sh')
-rwxr-xr-x | doc/tools/update-docs.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/tools/update-docs.sh b/doc/tools/update-docs.sh deleted file mode 100755 index 79652ac..0000000 --- a/doc/tools/update-docs.sh +++ /dev/null @@ -1,21 +0,0 @@ -#! /bin/sh - -# Script which installs a development snapshot of the documentation -# into the "Python @ SourceForge" website. -# -# The push-docs.sh script pushes this to the SourceForge when needed -# and removes it when done. - -if [ -z "$HOME" ] ; then - HOME=`grep fdrake /etc/passwd | sed 's|^.*:\([^:]*\):[^:]*$|\1|'` - export HOME -fi - -UPDATES="$HOME/tmp/$1" - -cd /home/groups/python/htdocs || exit $? -rm -rf devel-docs || exit $? -mkdir devel-docs || exit $? -cd devel-docs || exit $? -(bzip2 -dc "$UPDATES" | tar xf -) || exit $? -rm "$UPDATES" || exit $? |