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

Thu Jun 17 18:04:21 EDT 2004

Update of /cvsroot/python/python/dist/src/Doc/tools
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv15886
Modified Files:
	push-docs.sh 
Log Message:
Use getopt where possible, so this supports option letters that get
jammed together on thos platforms.
Index: push-docs.sh
===================================================================
RCS file: /cvsroot/python/python/dist/src/Doc/tools/push-docs.sh,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** push-docs.sh	17 Jun 2004 18:36:54 -0000	1.17
--- push-docs.sh	17 Jun 2004 22:04:17 -0000	1.18
***************
*** 30,34 ****
 ANNOUNCE=true
 
! # XXX Should use getopt(1) here.
 while [ "$#" -gt 0 ] ; do
 case "1ドル" in
--- 30,43 ----
 ANNOUNCE=true
 
! getopt -T >/dev/null
! if [ $? -eq 4 ] ; then
! # We have a sufficiently useful getopt(1) implementation.
! set -- `getopt -ssh m:p:qt:F: "$@"`
! else
! # This version of getopt doesn't support quoting of long options
! # with spaces, so let's not rely on it at all.
! :
! fi
! 
 while [ "$#" -gt 0 ] ; do
 case "1ドル" in