Don't fail when there's no error!

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 7583c67..7da20b4 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -20,7 +20,7 @@ if [ "x$1" != 'xdoxy' ] && [ -e build/xml ] ; then
 else
   set -x
   rm -rf build/xml source/api/
-  (cd source; doxygen 2>&1; cd ..) | grep -v "is not documented." #   XXXXX Reduce the verbosity for now
+  (cd source; doxygen 2>&1; cd ..) | (grep -v "is not documented." || true) # XXXXX Reduce the verbosity for now
   set +x
 fi