From 54fc6fe8e88bf429491c1ab3c2301fd86c7662b2 Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Thu, 26 Mar 1998 20:44:35 +0000
Subject: The script did not handle public distributions at all.

---
 doc/do_docs | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'doc/do_docs')

diff --git a/doc/do_docs b/doc/do_docs
index 531081eba9..0f0a08a514 100755
--- a/doc/do_docs
+++ b/doc/do_docs
@@ -15,7 +15,14 @@ extra_manuals="hwapi"
 # posix_users manual left out until finished
 # ada_user manual left out until bindings released
 
+if [ x${MANUAL_SET} = x ] ; then
+  MANUAL_SET=public
+fi
+
 case ${MANUAL_SET} in
+  public)
+    manuals="$public_docs"
+    ;;
   support)
     manuals="$public_docs $support_docs"
     ;;
@@ -26,7 +33,7 @@ case ${MANUAL_SET} in
     manuals="$public_docs $support_docs $partners_docs $extra_manuals"
     ;;
   *)
-    echo "ERROR: Unknown manual set $(MANUAL_SET)"
+    echo "ERROR: Unknown manual set ${MANUAL_SET}"
     exit 1
     ;;
 esac
-- 
cgit v1.2.3