From 3acc5d64c7d8c798fe7c209585ecce01f708f945 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Tue, 22 Oct 2002 21:06:24 +0000
Subject: [PATCH] Work around the fact that "maint" alone is a symlink now.

---
 Doc/tools/push-docs.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index ab789e6388fb..886b8553ce18 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='maint22'
+fi
+
 START="`pwd`"
 MYDIR="`dirname $0`"
 cd "$MYDIR"
-- 
2.47.3