diff options
author | Fred Drake <fdrake@acm.org> | 2001-10-25 15:13:30 (GMT) |
---|---|---|
committer | Fred Drake <fdrake@acm.org> | 2001-10-25 15:13:30 (GMT) |
commit | a281665972128869dce1aaa23850cd68a889171e (patch) | |
tree | 5dc82a30172e350dee9d642a1fc922b43b49dad2 | |
parent | 0099d8f8fbc2debe2b40119528836c9ced109b8c (diff) | |
download | cpython-a281665972128869dce1aaa23850cd68a889171e.zip cpython-a281665972128869dce1aaa23850cd68a889171e.tar.gz cpython-a281665972128869dce1aaa23850cd68a889171e.tar.bz2 |
No need to run make twice here.
-rwxr-xr-x | Doc/tools/push-docs.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh index 381b160..11a5f33 100755 --- a/Doc/tools/push-docs.sh +++ b/Doc/tools/push-docs.sh @@ -64,7 +64,6 @@ MYDIR="`pwd`" cd .. # now in .../Doc/ -make --no-print-directory || exit $? make --no-print-directory bziphtml || exit $? RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'` PACKAGE="html-$RELEASE.tar.bz2" |