diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-27 17:34:25 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-27 17:34:25 +0000 |
commit | 1f020c6577640c099e182ee792ddccf3fa71604a (patch) | |
tree | 1c169d2247c157266410a9fc93347a993877b919 | |
parent | Removed ruler line since it is automatically inserted now along with (diff) | |
download | rtems-1f020c6577640c099e182ee792ddccf3fa71604a.tar.bz2 |
Renamed extra_manuals to oar_manuals.
Diffstat (limited to '')
-rwxr-xr-x | doc/do_docs | 5 |
1 files 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}" |