add doxygen script updating gh-pages
authorMichael Wallner <mike@php.net>
Mon, 27 Jul 2015 15:08:08 +0000 (17:08 +0200)
committerMichael Wallner <mike@php.net>
Tue, 1 Sep 2015 09:09:44 +0000 (11:09 +0200)
doxygen_gh-pages.sh [new file with mode: 0755]

diff --git a/doxygen_gh-pages.sh b/doxygen_gh-pages.sh
new file mode 100755 (executable)
index 0000000..e208882
--- /dev/null
@@ -0,0 +1,17 @@
+#!/bin/sh
+set -e
+
+TMPDIR=$(mktemp -d)
+git-new-workdir . $TMPDIR gh-pages
+
+( \
+       cat Doxyfile; \
+       echo "OUTPUT_DIRECTORY=$TMPDIR"; \
+       echo "HTML_OUTPUT=."; \
+) | doxygen -
+
+cd $TMPDIR
+git add -A
+git commit -m "update docs"
+cd -
+rm -r $TMPDIR