Add new entry in Release_Notes.

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index fa133ad9a730b887e7e7e56cf106c53f928b76d8..8aa516b1c9011005cc31ba5bb93cd1d9f3da1f68 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -66,4 +66,4 @@ else
 fi
 
 echo "Undocumented symbols:"
-./find-missing.py
\ No newline at end of file
+./find-missing.py 2>&1