unused constant

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 51ab88d..352254b 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -13,7 +13,7 @@ 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 +47,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