# These are external variables, and shouldn't clash with anything else # DOCS_BUILT # MONOLITHIC_DOC="${MONOLITHIC_DOC} $(echo src/docs/*.dox)" build_target monolithic if [ -z ${DOCS_BUILT} ] then echo "Building documentation with Doxygen..." DOXYFILE=obj/Doxyfile if [ ! -e ${DOXYFILE} ] then do_cmd cp src/docs/Doxyfile.in ${DOXYFILE} || return 1 echo "INPUT = ${MONOLITHIC_DOC}" >> ${DOXYFILE} echo "PROJECT_NUMBER = ${VERSION}" >> ${DOXYFILE} fi MODIFIED=0 for file in ${MONOLITHIC_DOC} do if [ ${file} -nt html/index.html ] then MODIFIED=1 break fi done if [ ${MODIFIED} -ne 0 ] then do_cmd doxygen ${DOXYFILE} || return 1 print_success "Documentation built" else print_success "Documentation is up to date" fi DOCS_BUILT=1 fi