summaryrefslogblamecommitdiffstats
path: root/doc/do_docs
blob: 003957875a5e8fe1bfd1fe6a8087fe9dfc5bd4fd (plain) (tree)
1
2
3
4
5
6
7
8
9
10
          


       


          


                                                   
                                                                            
 
                       



                                                                           
                                                                               
 



                                
                     
         


                           

                                        
    
                                                  


          




                        








                                                                

      

      
#! /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