[Python-checkins] CVS: python/dist/src/Doc/tools push-docs.sh,1.12,1.13

Fred L. Drake fdrake@users.sourceforge.net
Thu, 25 Oct 2001 08:13:32 -0700


Update of /cvsroot/python/python/dist/src/Doc/tools
In directory usw-pr-cvs1:/tmp/cvs-serv25983/tools

Modified Files:
	push-docs.sh 
Log Message:
No need to run make twice here.

Index: push-docs.sh
===================================================================
RCS file: /cvsroot/python/python/dist/src/Doc/tools/push-docs.sh,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** push-docs.sh	2001/08/08 05:41:01	1.12
--- push-docs.sh	2001/10/25 15:13:30	1.13
***************
*** 65,69 ****
  
  # now in .../Doc/
- make --no-print-directory || exit $?
  make --no-print-directory bziphtml || exit $?
  RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'`
--- 65,68 ----