doc/robodoc.sh

   1 # /bin/sh
   2 set -e
   3
   4 top_srcdir=${1}
   5 top_builddir=${2}
   6
   7 cd ${top_srcdir}/..
   8 exec robodoc --src ${top_srcdir##*/} --doc ${top_builddir}/doc/manual --rc ${top_srcdir}/doc/robodoc.rc --html --multidoc