From 019f283d1b5e513715baf052f738bfb8fe9ae0a8 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 13 Sep 2020 16:18:07 +0200 Subject: [PATCH] Also use the local javasphinx when compiling the doc --- docs/Build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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' -- 2.20.1