document Mutex and Semaphores in the new way

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index cf871665cf226f7bb5b0d8504586c70b39ccc7aa..51ab88da50f88f50f1d2d4d08b0619a258e73081 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -33,7 +33,10 @@ else
   echo "javasphinx relaunched"
 fi
 
   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
 
 
 set +x