docs/Build.sh

   1 #! /bin/sh
   2 #
   3 # Simplistic script to rebuild our documentation with sphinx-build
   4
   5 set -e
   6
   7 if [ "x$1" != 'xdoxy' -a -e build/xml ] ; then
   8   echo "(Doxygen not rerun)"
   9 else
  10   rm -rf build/xml source/api/
  11   cd source; doxygen; cd ..
  12 fi
  13
  14 sphinx-build -M html source build ${SPHINXOPTS}
  15 cat source/img/graphical-toc.svg \
  16  | perl -pe 's/(xlink:href="http)/target="_top" $1/' \
  17  | perl -pe 's/(xlink:href=".*?.html)/target="_top" $1/' \
  18  > build/html/graphical-toc.svg