From: Fred Drake <fdrake@acm.org>
Date: Thu, 17 Jun 2004 22:04:17 +0000 (+0000)
Subject: Use getopt where possible, so this supports option letters that get
X-Git-Tag: v2.4a1~164
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=964c798a94a77eda6cc61f7530d71b8c32f25a3e;p=python

Use getopt where possible, so this supports option letters that get
jammed together on thos platforms.
---

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index 294254a2bd..c124f8b5da 100755
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -29,7 +29,16 @@ fi
 EXPLANATION=''
 ANNOUNCE=true
 
-# XXX Should use getopt(1) here.
+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
       -m)