#!/bin/sh
set -e

TMPDIR=$(mktemp -d)
git-new-workdir . $TMPDIR gh-pages

(cat -; echo "OUTPUT_DIRECTORY=$TMPDIR") | doxygen -

cd $TMPDIR
git add -A
git commit -m "update docs"
cd -
rm -r $TMPDIR