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

[Fred L. Drake]

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

Modified Files:
	push-docs.sh 
Log Message:

Generate a more meaningful message regarding the type of the documentation
release being discussed.


Index: push-docs.sh
===================================================================
RCS file: /cvsroot/python/python/dist/src/Doc/tools/push-docs.sh,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -r1.10 -r1.11
*** push-docs.sh	2001/07/06 23:45:16	1.10
--- push-docs.sh	2001/07/12 21:50:10	1.11
***************
*** 72,76 ****
  Subject: [$DOCLABEL doc updates]
  
! The development version of the documentation has been updated:
  
      http://python.sourceforge.net/$DOCTYPE-docs/
--- 72,76 ----
  Subject: [$DOCLABEL doc updates]
  
! The $DOCLABEL version of the documentation has been updated:
  
      http://python.sourceforge.net/$DOCTYPE-docs/