Cosmetics in the Release notes + Document recent changes on MC

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 7583c67..1311132 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -1,6 +1,6 @@
 #! /bin/bash
 #
-# Copyright (c) 2018-2021. The SimGrid Team. All rights reserved.
+# Copyright (c) 2018-2022. The SimGrid Team. All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
 # under the terms of the license (GNU LGPL) which comes with this package.
@@ -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
 
@@ -30,14 +30,14 @@ else
   set -x
   perl ./bin/extract_logs_hierarchy.pl ../ > build/log_categories.rst
   set +x
-fi 
+fi
 
 if [ "x$1" != 'xjava' ] && [ -e source/java ] ; then
   echo "javasphinx not rerun: 'java' was not provided as an argument"
 else
   set -x
   rm -rf source/java
-  
+
   # Use that script without installing javasphinx: javasphinx-apidoc --force -o source/java/ ../src/bindings/java/org/simgrid/msg
   PYTHONPATH=${PYTHONPATH}:source/_ext/javasphinx python3 - --force -o source/java/ ../src/bindings/java/org/simgrid/msg <<EOF
 import re