Files
rtems/doc/do_docs
Joel Sherrill 433a01bd45 Added support for easily building different sets of the manuals
for the public, support, partners, and internal use.
1998-03-26 20:40:34 +00:00

51 lines
965 B
Bash
Executable File

#! /bin/sh
#
# $Id$
#
basedir=$1
shift
public_docs="user develenv ka9q posix_users"
support_docs="hppa1_1 i386 i960 m68k sparc"
partners_docs="posix1003.1"
extra_manuals="hwapi"
# relnotes is obsolete
# posix_users manual left out until finished
# ada_user manual left out until bindings released
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
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