doc cosmetics, and cleanup the API

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 492bce5..c7bfa41 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -28,7 +28,7 @@ else
   echo "javasphinx relaunched"
 fi
 
-sphinx-build -M html source build ${SPHINXOPTS}
+PYTHONPATH=../lib sphinx-build -M html source build ${SPHINXOPTS}
 
 set +x