#! /bin/bash
#
-# Copyright (c) 2018-2022. The SimGrid Team. All rights reserved.
+# Copyright (c) 2018-2023. The SimGrid Team. All rights reserved.
# This program is free software; you can redistribute it and/or modify it
# under the terms of the license (GNU LGPL) which comes with this package.
set +x
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 <<EOF
-import re
-import sys
-from javasphinx.apidoc import main
-if __name__ == '__main__':
- sys.argv[0] = re.sub(r'(-script\.pyw|\.exe)?$', '', sys.argv[0])
- sys.exit(main())
-EOF
-
- rm -f source/java/packages.rst # api_generated/source_java_packages.rst
- rm -f source/java/org/simgrid/msg/package-index.rst # api_generated/source_java_org_simgrid_msg_package-index.rst
- for f in source/java/org/simgrid/msg/* ; do
- # Add the package name to the page titles
- (printf "class org.simgrid.msg."; cat $f )>tmp
- mv tmp $f
- sed -i 's/==/========================/' $f # That's the right length knowing that I add 'class org.simgrid.msg.'
- done
-# sed -i 's/^.. java:type:: public class /.. java:type:: public class org.simgrid.msg/' source/java/org/simgrid/msg/*
- echo "javasphinx relaunched"
-fi
-
-PYTHONPATH=../lib:source/_ext/javasphinx sphinx-build -M html source build ${SPHINXOPTS} 2>&1
+PYTHONPATH=../lib sphinx-build -M html source build ${SPHINXOPTS} 2>&1
set +x
set +e # Don't fail
if [ -e /usr/bin/linkchecker ] ; then
- linkchecker --no-status -o csv --ignore-url='.*\.css$' --ignore-url=build/html/_modules --ignore-url=public/java/org build/html \
+ linkchecker --no-status -o csv --ignore-url='.*\.css$' --ignore-url=build/html/_modules build/html \
| grep -v '^#' \
| grep -v 'urlname;parentname;baseref;result;warningstring'
echo "done."