mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-05 15:15:44 +00:00
65 lines
1.3 KiB
Bash
Executable File
65 lines
1.3 KiB
Bash
Executable File
#! /bin/sh
|
|
#
|
|
# $Id$
|
|
#
|
|
|
|
basedir=$1
|
|
shift
|
|
|
|
# classes of documents
|
|
supplements="supplements/hppa1_1 supplements/i386 \
|
|
supplements/i960 supplements/m68k supplements/sparc"
|
|
gnu_tools="gnu_tools/newlib-1.8.0 gnu_tools/egcs-1.0.2"
|
|
|
|
# Division by access level
|
|
public_docs="user develenv ka9q posix_users started started_ada"
|
|
support_docs="${supplements} ${gnu_tools}"
|
|
partners_docs="posix1003.1 posix1003.1h"
|
|
oar_manuals="ada_user hwapi supplements/powerpc tools/texi2www \
|
|
browseable_rtems"
|
|
|
|
# relnotes is obsolete
|
|
# 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"
|
|
;;
|
|
partners)
|
|
manuals="$public_docs $support_docs $partners_docs"
|
|
;;
|
|
internal)
|
|
manuals="$public_docs $support_docs $partners_docs $oar_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
|