X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/019f283d1b5e513715baf052f738bfb8fe9ae0a8..1aab041889e9a68f49b95561ddb756cb1710157b:/docs/Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index afdaab3e73..cc536cb689 100755
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -7,7 +7,7 @@
 # Python needs to find simgrid on my machine, but not ctest -- sorry for the hack
 if [ -e /opt/simgrid ] ; then chmod +x /opt/simgrid; fi
 
-set -e
+set -ex
 set -o pipefail
 
 if [ "x$1" != 'xdoxy' ] && [ -e build/xml ] ; then
@@ -44,10 +44,7 @@ EOF
   echo "javasphinx relaunched"
 fi
 
-PYTHONPATH=../lib:source/_ext/javasphinx 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' 
+PYTHONPATH=../lib:source/_ext/javasphinx sphinx-build -M html source build ${SPHINXOPTS} 2>&1
 
 set +x