sh build/gnuauto/setup.sh && default_build && if [[ "${TIDY_MAN_PAGES}" == "y" ]] then doxygen -u htmldoc/doxygen.cfg && doxygen htmldoc/doxygen.cfg fi