X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7ae5010e461b4f5811f92bf97f004882198483f3..808e3788e31d306aa2d3f8c96122aa82346fbe0b:/docs/Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 4096cfdaad..12fa8ceed2 100755
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -2,6 +2,9 @@
 #
 # Simplistic script to rebuild our documentation with sphinx-build
 
+# Python needs to find simgrid on my machine, but not ctest -- sorry for the hack
+if [ -e /opt/simgrid ] ; then chmod +x /opt/simgrid; fi
+
 set -e
 
 if [ "x$1" != 'xdoxy' -a -e build/xml ] ; then
@@ -53,3 +56,6 @@ do
     fi
   fi
 done
+
+set +e
+if [ -e /opt/simgrid ] ; then chmod +x /opt/simgrid; fi