RTOS/rtems
1
0
Fork 0
forked from Imagelibrary/rtems
Code Pull Requests Activity

Renamed extra_manuals to oar_manuals.

Browse Source
This commit is contained in:
Joel Sherrill
1998-03-27 17:34:25 +00:00
parent 9809ab1ed5
commit 1f020c6577
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
doc/do_docs
View File

@@ -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}"