X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/18278c24522cdb44cb578759dc34a1b39f591e22..30c1423c3ca7c706283d42154ed78f5a1957d198:/docs/Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 51ab88da50..0bb46f2da8 100755
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 #
 # Simplistic script to rebuild our documentation with sphinx-build
 
@@ -8,12 +8,13 @@
 if [ -e /opt/simgrid ] ; then chmod +x /opt/simgrid; fi
 
 set -e
+set -o pipefail
 
 if [ "x$1" != 'xdoxy' ] && [ -e build/xml ] ; then
   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
@@ -47,6 +48,7 @@ echo
 echo "Undocumented examples:"
 for ex in $( (cd .. ; \
               find examples/s4u/ -name '*.cpp'; \
+              find examples/c/ -name '*.c'; \
               find examples/python -name '*.py'; \
              ) | sort )
 do