[Python-checkins] python/dist/src/Doc/tools push-docs.sh, 1.15.18.1, 1.15.18.2

Sun Sep 28 18:24:08 EDT 2003

Update of /cvsroot/python/python/dist/src/Doc/tools
In directory sc8-pr-cvs1:/tmp/cvs-serv14598
Modified Files:
 Tag: release23-maint
	push-docs.sh 
Log Message:
Backported from trunk revision 1.16:
- change computation of VERSION to use tools/getversioninfo; this is
 more reliable than using the $Revision$ expansion
- $RELEASE is no longer needed; we can just use $VERSION now
Index: push-docs.sh
===================================================================
RCS file: /cvsroot/python/python/dist/src/Doc/tools/push-docs.sh,v
retrieving revision 1.15.18.1
retrieving revision 1.15.18.2
diff -C2 -d -r1.15.18.1 -r1.15.18.2
*** push-docs.sh	7 Aug 2003 16:05:08 -0000	1.15.18.1
--- push-docs.sh	28 Sep 2003 22:24:06 -0000	1.15.18.2
***************
*** 11,17 ****
 ADDRESSES='python-dev at python.org doc-sig at python.org python-list at python.org'
 
! VERSION=`echo '$Revision$' | sed 's/[$]Revision: \(.*\) [$]/1円/'`
 EXTRA=`echo "$VERSION" | sed 's/^[0-9][0-9]*\.[0-9][0-9]*//'`
! if [ "$EXTRA" ] ; then
 DOCLABEL="maintenance"
 DOCTYPE="maint"
--- 11,20 ----
 ADDRESSES='python-dev at python.org doc-sig at python.org python-list at python.org'
 
! TOOLDIR="`dirname 0ドル`"
! VERSION=`$TOOLDIR/getversioninfo`
! 
! # Set $EXTRA to something non-empty if this is a non-trunk version:
 EXTRA=`echo "$VERSION" | sed 's/^[0-9][0-9]*\.[0-9][0-9]*//'`
! if echo "$EXTRA" | grep -q '[.]' ; then
 DOCLABEL="maintenance"
 DOCTYPE="maint"
***************
*** 74,79 ****
 # now in .../Doc/
 make --no-print-directory bziphtml || exit $?
! RELEASE=`grep '^RELEASE=' Makefile | sed 's|RELEASE=||'`
! PACKAGE="html-$RELEASE.tar.bz2"
 scp "$PACKAGE" tools/update-docs.sh $TARGET/ || exit $?
 ssh "$TARGETHOST" tmp/update-docs.sh $DOCTYPE $PACKAGE '&&' rm tmp/update-docs.sh || exit $?
--- 77,81 ----
 # now in .../Doc/
 make --no-print-directory bziphtml || exit $?
! PACKAGE="html-$VERSION.tar.bz2"
 scp "$PACKAGE" tools/update-docs.sh $TARGET/ || exit $?
 ssh "$TARGETHOST" tmp/update-docs.sh $DOCTYPE $PACKAGE '&&' rm tmp/update-docs.sh || exit $?