From: Fred Drake <fdrake@acm.org>
Date: Thu, 7 Aug 2003 16:05:08 +0000 (+0000)
Subject: control where this lands by default in dev/doc/ on python.org,
X-Git-Tag: v2.3.1~178
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2c1b927c950196c5d0ca7f33c998888e6c6347e7;p=thirdparty%2FPython%2Fcpython.git

control where this lands by default in dev/doc/ on python.org,
but check it in on the right branch this time
---

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index ab789e6388fb..89f1870df559 100755
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -59,6 +59,11 @@ if [ "$1" ] ; then
     shift
 fi
 
+if [ "$DOCTYPE" = 'maint' ] ; then
+    # 'maint' is a symlink
+    DOCTYPE='maint23'
+fi
+
 START="`pwd`"
 MYDIR="`dirname $0`"
 cd "$MYDIR"