From: Michael Wallner <mike@php.net>
Date: Mon, 27 Jul 2015 15:08:08 +0000 (+0200)
Subject: add doxygen script updating gh-pages
X-Git-Tag: release-2.0.0RC1~10^2~5
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=d1ad1f3493134effe4bb5ccd46e07d3120751d85;hp=3b0adb8427c0c4cc542d2c99e7c6037d1fed08f4;p=m6w6%2Fext-raphf

add doxygen script updating gh-pages
---

diff --git a/doxygen_gh-pages.sh b/doxygen_gh-pages.sh
new file mode 100755
index 0000000..e208882
--- /dev/null
+++ b/doxygen_gh-pages.sh
@@ -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