Also use the local javasphinx when compiling the doc

diff --git a/docs/Build.sh b/docs/Build.sh
index 2b42bfd..afdaab3 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -44,7 +44,7 @@ EOF
   echo "javasphinx relaunched"
 fi
 
-PYTHONPATH=../lib sphinx-build -M html source build ${SPHINXOPTS} 2>&1 \
+PYTHONPATH=../lib:source/_ext/javasphinx sphinx-build -M html source build ${SPHINXOPTS} 2>&1 \
   | grep -v 'WARNING: cpp:identifier reference target not found: simgrid$' \
   | grep -v 'WARNING: cpp:identifier reference target not found: simgrid::s4u$' \
   | grep -v 'WARNING: cpp:identifier reference target not found: boost'