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

The script did not handle public distributions at all.

Browse Source
This commit is contained in:
Joel Sherrill
1998-03-26 20:44:35 +00:00
parent 433a01bd45
commit 54fc6fe8e8
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
doc/do_docs
View File

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