diff options
Diffstat (limited to 'doc/do_docs')
-rwxr-xr-x | doc/do_docs | 64 |
1 files changed, 0 insertions, 64 deletions
diff --git a/doc/do_docs b/doc/do_docs deleted file mode 100755 index e67d07e1dd..0000000000 --- a/doc/do_docs +++ /dev/null @@ -1,64 +0,0 @@ -#! /bin/sh -# -# $Id$ -# - -basedir=$1 -shift - -# classes of documents -supplements="supplements/hppa1_1 supplements/i386 \ - supplements/i960 supplements/m68k supplements/sparc supplements/powerpc" -# gnu_tools="gnu_tools/newlib-1.8.0 gnu_tools/egcs-1.0.2" - -# Division by access level -public_docs="user develenv networking posix_users started started_ada" -support_docs="${supplements} ${gnu_tools}" -partners_docs="posix1003.1 posix1003.1h" -oar_manuals="ada_user hwapi tools/texi2www \ - browseable_rtems posix_users_new bsp_howto" - -# 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 |