Searched full:doxygen_dir (Results 1 – 1 of 1) sorted by relevance
127 DOXYGEN_DIR=${DEPS_DIR}/doxygen-${DOXYGEN_VERSION}128 if [[ -z "$(ls -A ${DOXYGEN_DIR})" ]]; then130 …mkdir -p ${DOXYGEN_DIR} && travis_retry wget --quiet -O - ${DOXYGEN_URL} | tar --strip-components=…132 export PATH=${DOXYGEN_DIR}/bin:${PATH}