From 433a01bd4583436c5286cffb03aa766d383ed38f Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Thu, 26 Mar 1998 20:40:34 +0000
Subject: Added support for easily building different sets of the manuals for
 the public, support, partners, and internal use.

---
 doc/do_docs | 34 +++++++++++++++++++++++++++-------
 1 file changed, 27 insertions(+), 7 deletions(-)

(limited to 'doc/do_docs')

diff --git a/doc/do_docs b/doc/do_docs
index 6dbe8f7b54..531081eba9 100755
--- a/doc/do_docs
+++ b/doc/do_docs
@@ -14,17 +14,37 @@ extra_manuals="hwapi"
 # relnotes  is obsolete
 # posix_users manual left out until finished
 # ada_user manual left out until bindings released
-manuals="$public_docs"
-#manuals="$public_docs $support_docs $partners_docs $extra_manuals"
+
+case ${MANUAL_SET} in
+  support)
+    manuals="$public_docs $support_docs"
+    ;;
+  partners)
+    manuals="$public_docs $support_docs $partners_docs"
+    ;;
+  internal)
+    manuals="$public_docs $support_docs $partners_docs $extra_manuals"
+    ;;
+  *)
+    echo "ERROR: Unknown manual set $(MANUAL_SET)"
+    exit 1
+    ;;
+esac
 
 for action in $*
 do
   for manual in $manuals
   do
-    echo
-    echo "*** make $action on ${basedir}/${manual} ***"
-    echo
-    cd ${basedir}/${manual}
-    gmake $action || exit $?
+    if [ x${TEST} = xyes ] ; then
+        echo "TEST *** make $action on ${basedir}/${manual} ***"
+    else
+        echo
+        echo "*** make $action on ${basedir}/${manual} ***"
+        echo
+        cd ${basedir}/${manual}
+        gmake $action || exit $?
+    fi
   done
 done
+
+exit 0
-- 
cgit v1.2.3