diff options
author | Fred Drake <fdrake@acm.org> | 2000-10-24 19:59:55 (GMT) |
---|---|---|
committer | Fred Drake <fdrake@acm.org> | 2000-10-24 19:59:55 (GMT) |
commit | 7ceab739d0c4c8a65cc208f511f93fda00400218 (patch) | |
tree | 49e7a811f8d542e6a512cad1132eb4e5e8eb0f5a /Doc/tools | |
parent | 661ea26b3d8621ad0acc0ed2f2036ab29355f8ff (diff) | |
download | cpython-7ceab739d0c4c8a65cc208f511f93fda00400218.zip cpython-7ceab739d0c4c8a65cc208f511f93fda00400218.tar.gz cpython-7ceab739d0c4c8a65cc208f511f93fda00400218.tar.bz2 |
Make this actually work now that the tool is checked in here instead of
just sitting around in my working directory.
Diffstat (limited to 'Doc/tools')
-rwxr-xr-x | Doc/tools/push-docs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |