diff options
Diffstat (limited to 'admin')
-rwxr-xr-x | admin/build-doc | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/admin/build-doc b/admin/build-doc index fd1afe5c365..aee1a48345c 100755 --- a/admin/build-doc +++ b/admin/build-doc @@ -3,10 +3,15 @@ set -e cd "$(dirname "$0")" cd .. +install -d -m0755 build-doc + +if [ ! -e build-doc/doxygen/xml ]; then + doxygen +fi + dia --filter=png-libart --export=doc/overview.png.tmp doc/overview.dia mv -- doc/overview.png.tmp doc/overview.png -install -d -m0755 build-doc cd build-doc if [ ! -e virtualenv ]; then @@ -16,6 +21,17 @@ if [ ! -x virtualenv/bin/sphinx-build ]; then ./virtualenv/bin/pip install sphinx fi +# ugly kludge until breathe is distutils-friendly +install -d breathe +cd breathe +if [ ! -e .git ]; then + git init +fi +if [ -z "$(git rev-parse --default HEAD)" ]; then + git pull --ff-only https://github.com/michaeljones/breathe.git master +fi +cd .. + install -d -m0755 \ output/html \ output/man |