From: Fred Drake <fdrake@acm.org>
Date: Thu, 25 Oct 2001 15:13:30 +0000 (+0000)
Subject: No need to run make twice here.
X-Git-Tag: v2.2.1c1~1061
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a281665972128869dce1aaa23850cd68a889171e;p=python

No need to run make twice here.
---

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index 381b160455..11a5f336ea 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"