X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a39a45af5e19dfb8b8ed2cb084b3a6b518d179e4..9f159d9330c05815626203388772dc0cfa5a1575:/docs/Build.sh

diff --git a/docs/Build.sh b/docs/Build.sh
index 74bcbfd3a0..e39cf57904 100755
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -2,7 +2,15 @@
 #
 # Simplistic script to rebuild our documentation with sphinx-build
 
-rm -rf build/doxy/ source/api/
+set -e
+
+if [ "x$1" != 'xdoxy' -a -e build/xml ] ; then
+  echo "(Doxygen not rerun)"
+else
+  rm -rf build/xml source/api/
+  cd source; doxygen; cd ..
+fi
+
 sphinx-build -M html source build ${SPHINXOPTS}
 cat source/img/graphical-toc.svg \
  | perl -pe 's/(xlink:href="http)/target="_top" $1/' \