improve the doc of condition variables

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index cf87166..51ab88d 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -33,7 +33,10 @@ else
   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