cosmetics

[simgrid.git] / docs / Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 492bce58775e8b27df15267eb4dd06405dd5f0e1..c7bfa41158e33a59c49fcf1ccd6b8c423993efba 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