+set -e
+
+if [ "x$1" != 'xdoxy' -a -e build/xml ] ; then
+ echo "Doxygen not rerun: 'doxy' was not provided as an argument"
+else
+ rm -rf build/xml source/api/
+ cd source; doxygen; cd ..
+fi
+
+if [ "x$1" != 'xjava' -a -e source/java ] ; then
+ echo "javasphinx not rerun: 'java' was not provided as an argument"
+else
+ rm -rf source/java
+ javasphinx-apidoc --force -o source/java/ ../src/bindings/java/org/simgrid/msg
+ rm source/java/packages.rst # source/java/org/simgrid/msg/package-index.rst
+# sed -i 's/^.. java:type:: public class /.. java:type:: public class org.simgrid.msg/' source/java/org/simgrid/msg/*
+ echo "javasphinx relaunched"
+fi
+