doc: add units for message sizes, and try to make smpi/buffering more understandable

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 352254b39aa6ec77f805eea43426111d9930c3bc..0bb46f2da86763c13be4c71d343e3ca259c7c6e9 100755 (executable)
--- 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,6 +8,7 @@
 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"