From 398feccf590898338519f4ef7613d2d8999596e9 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Mon, 27 Jul 2015 17:08:08 +0200
Subject: [PATCH] add doxygen script updating gh-pages

---
 doxygen_gh-pages.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 doxygen_gh-pages.sh

diff --git a/doxygen_gh-pages.sh b/doxygen_gh-pages.sh
new file mode 100755
index 0000000..770f098
--- /dev/null
+++ b/doxygen_gh-pages.sh
@@ -0,0 +1,18 @@
+#!/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
+
-- 
2.30.2