Make this actually work now that the tool is checked in here instead of

just sitting around in my working directory.

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index f36438fd0e92a998e21794c7389840315e64d48f..2de94745a3f24869cf569654ef1c2312a3b62ea3 100755 (executable)
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -11,6 +11,7 @@ HTMLDIR="${HTMLDIR:-html}"
 
 cd "../$HTMLDIR"
 make --no-print-directory || exit $?
+cd ..
 RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'`
 make --no-print-directory HTMLDIR="$HTMLDIR" bziphtml
 scp "html-$RELEASE.tar.bz2" python.sourceforge.net:/home/users/fdrake/python-docs-update.tar.bz2