From 7a8dfad063e2c570f940c11312cbcf1184326620 Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Fri, 23 Apr 1999 16:42:01 +0000
Subject: Changed date.

---
 doc/do_docs | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'doc/do_docs')

diff --git a/doc/do_docs b/doc/do_docs
index 792c5b643a..46949dc81b 100755
--- a/doc/do_docs
+++ b/doc/do_docs
@@ -23,14 +23,11 @@ fi
 
 case ${MANUAL_SET} in
   public)
-    manuals="$public_docs"
-    ;;
-  support)
+  #  manuals="$public_docs"
+  #  ;;
+  #support)
     manuals="$public_docs $support_docs"
     ;;
-  partners)
-    manuals="$public_docs $support_docs $partners_docs"
-    ;;
   *)
     echo "ERROR: Unknown manual set ${MANUAL_SET}"
     exit 1
-- 
cgit v1.2.3