From 7ceab739d0c4c8a65cc208f511f93fda00400218 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Tue, 24 Oct 2000 19:59:55 +0000 Subject: Make this actually work now that the tool is checked in here instead of just sitting around in my working directory. --- Doc/tools/push-docs.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index f36438f..2de9474 100755 --- 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 -- cgit v0.12