echo "Doxygen not rerun: 'doxy' was not provided as an argument"
else
rm -rf build/xml source/api/
- cd source; doxygen; cd ..
+ (cd source; doxygen 2>&1; cd ..) | grep -v "is not documented." # XXXXX Reduce the verbosity for now
fi
if [ "x$1" != 'xjava' ] && [ -e source/java ] ; then
echo "javasphinx relaunched"
fi
-PYTHONPATH=../lib sphinx-build -M html source build ${SPHINXOPTS}
+PYTHONPATH=../lib sphinx-build -M html source build ${SPHINXOPTS} 2>&1 \
+ | grep -v 'WARNING: cpp:identifier reference target not found: simgrid$' \
+ | grep -v 'WARNING: cpp:identifier reference target not found: simgrid::s4u$' \
+ | grep -v 'WARNING: cpp:identifier reference target not found: boost'
set +x