Update of /cvsroot/python/python/dist/src/Doc/tools In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv738 Modified Files: push-docs.sh Log Message: fix handling when a proper getopt(1) is available; the "--" end-of-options marker wasn't recognized Index: push-docs.sh =================================================================== RCS file: /cvsroot/python/python/dist/src/Doc/tools/push-docs.sh,v retrieving revision 1.18 retrieving revision 1.19 diff -C2 -d -r1.18 -r1.19 *** push-docs.sh 17 Jun 2004 22:04:17 -0000 1.18 --- push-docs.sh 29 Jun 2004 14:39:06 -0000 1.19 *************** *** 62,65 **** --- 62,69 ---- shift 2 ;; + --) + shift 1 + break + ;; -*) echo "Unknown option: $1" >&2