From 1f020c6577640c099e182ee792ddccf3fa71604a Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Fri, 27 Mar 1998 17:34:25 +0000
Subject: Renamed extra_manuals to oar_manuals.

---
 doc/do_docs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/doc/do_docs b/doc/do_docs
index 0ae80d0b69..096d4565df 100755
--- a/doc/do_docs
+++ b/doc/do_docs
@@ -8,8 +8,7 @@ shift
 public_docs="user develenv ka9q posix_users"
 support_docs="hppa1_1 i386 i960 m68k sparc"
 partners_docs="posix1003.1 posix1003.1h"
-
-extra_manuals="hwapi powerpc"
+oar_manuals="hwapi powerpc"
 
 # relnotes  is obsolete
 # posix_users manual left out until finished
@@ -30,7 +29,7 @@ case ${MANUAL_SET} in
     manuals="$public_docs $support_docs $partners_docs"
     ;;
   internal)
-    manuals="$public_docs $support_docs $partners_docs $extra_manuals"
+    manuals="$public_docs $support_docs $partners_docs $oar_manuals"
     ;;
   *)
     echo "ERROR: Unknown manual set ${MANUAL_SET}"
-- 
cgit v1.2.3