[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 ----