From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 13 Sep 2020 14:18:07 +0000 (+0200)
Subject: Also use the local javasphinx when compiling the doc
X-Git-Tag: v3.26~440
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/019f283d1b5e513715baf052f738bfb8fe9ae0a8

Also use the local javasphinx when compiling the doc
---

diff --git a/docs/Build.sh b/docs/Build.sh
index 2b42bfda89..afdaab3e73 100755
--- 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'