diff options
Diffstat (limited to 'Doc/tools/update-docs.sh')
| -rwxr-xr-x | Doc/tools/update-docs.sh | 40 |
1 files changed, 11 insertions, 29 deletions
diff --git a/Doc/tools/update-docs.sh b/Doc/tools/update-docs.sh index b3b48ba8c3..b3621d5149 100755 --- a/Doc/tools/update-docs.sh +++ b/Doc/tools/update-docs.sh @@ -1,39 +1,21 @@ #! /bin/sh -# Script which determines if a new development snapshot of the -# documentation is available, and unpacks it into the "Python @ -# SourceForge" website. +# Script which installs a development snapshot of the documentation +# into the "Python @ SourceForge" website. # -# A copy of this script is run periodically via cron. +# 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/python-docs-update.tar.bz2 -INFO=$HOME/python-docs-update.txt +UPDATES=$HOME/tmp/python-docs-update.tar.bz2 -if [ -f "$UPDATES" ] ; then - cd /home/groups/python/htdocs - rm -rf devel-docs || exit $? - mkdir devel-docs || exit $? - cd devel-docs || exit $? - (bzip2 -dc "$UPDATES" | tar xf -) || exit $? - rm "$UPDATES" || exit $? - if [ -f "$INFO" ] ; then - EXPLANATION="`cat $INFO`" - else - EXPLANATION='' - fi - Mail -s '[development doc updates]' \ - python-dev@python.org doc-sig@python.org \ - <<EOF -The development version of the documentation has been updated: - - http://python.sourceforge.net/devel-docs/ - -$EXPLANATION -EOF - rm -f $HOME/python-docs-update.txt -fi +cd /home/groups/python/htdocs +rm -rf devel-docs || exit $? +mkdir devel-docs || exit $? +cd devel-docs || exit $? +(bzip2 -dc "$UPDATES" | tar xf -) || exit $? +rm "$UPDATES" || exit $? |