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