X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a52d0511bbb8a3de2d2d9a808f1118c1f323244a..f443dae91032b57496bd1b516e3013b49e5dbf5d:/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/' \