blob: 003957875a5e8fe1bfd1fe6a8087fe9dfc5bd4fd (
plain) (
tree)
|
|
#! /bin/sh
#
# $Id$
#
basedir=$1
shift
# classes of documents
supplements="supplements/hppa1_1 supplements/i386 \
supplements/i960 supplements/m68k supplements/sparc supplements/powerpc"
# relnotes is obsolete
# Division by access level
public_docs="FAQ user develenv networking posix_users started started_ada \
rtems_gdb rgdb_specs"
support_docs="${supplements} bsp_howto filesystem porting ada_user posix1003.1"
if [ x${MANUAL_SET} = x ] ; then
MANUAL_SET=public
fi
case ${MANUAL_SET} in
public)
# manuals="$public_docs"
# ;;
#support)
manuals="$public_docs $support_docs"
;;
*)
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
|