3 # Simplistic script to rebuild our documentation with sphinx-build
7 if [ "x$1" != 'xdoxy' -a -e build/xml ] ; then
8 echo "(Doxygen not rerun)"
10 rm -rf build/xml source/api/
11 cd source; doxygen; cd ..
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