X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/237fd22b56db7d1c67360c37559ce3aab16a002d..e4b0e5563bf3957c69041a31c1ccc6a0274e1792:/docs/Build.sh diff --git a/docs/Build.sh b/docs/Build.sh index 7da20b4b17..24aa30c5a5 100755 --- a/docs/Build.sh +++ b/docs/Build.sh @@ -30,14 +30,14 @@ else set -x perl ./bin/extract_logs_hierarchy.pl ../ > build/log_categories.rst set +x -fi +fi if [ "x$1" != 'xjava' ] && [ -e source/java ] ; then echo "javasphinx not rerun: 'java' was not provided as an argument" else set -x rm -rf source/java - + # Use that script without installing javasphinx: javasphinx-apidoc --force -o source/java/ ../src/bindings/java/org/simgrid/msg PYTHONPATH=${PYTHONPATH}:source/_ext/javasphinx python3 - --force -o source/java/ ../src/bindings/java/org/simgrid/msg <