From 3ad8fb5f3f79e063edd3e9f1dd28e97286ab37a7 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Sun, 5 Dec 2004 07:50:14 +0000
Subject: [PATCH] remove comment that's about to become obsolete

---
 Doc/tools/push-docs.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Doc/tools/push-docs.sh b/Doc/tools/push-docs.sh
index be9a1262fe20..cdc2eb39c775 100755
--- a/Doc/tools/push-docs.sh
+++ b/Doc/tools/push-docs.sh
@@ -64,7 +64,6 @@ if [ "$1" ] ; then
 fi
 
 if [ "$DOCTYPE" = 'maint' ] ; then
-    # 'maint' is a symlink
     DOCTYPE='maint23'
 fi
 
-- 
2.47.3