From 8b6e4e1fb508f5e22084205fcad206c7a1a0ba58 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Tue, 28 Jul 2015 09:27:59 +0200
Subject: [PATCH] move the doxygen script into its own repo

---
 Doxyfile            |  2 +-
 doxygen_gh-pages.sh | 17 -----------------
 2 files changed, 1 insertion(+), 18 deletions(-)
 delete mode 100755 doxygen_gh-pages.sh

diff --git a/Doxyfile b/Doxyfile
index b79b176..04d9e33 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -138,7 +138,7 @@ IGNORE_PREFIX          =
 # Configuration options related to the HTML output
 #---------------------------------------------------------------------------
 GENERATE_HTML          = YES
-HTML_OUTPUT            = html
+HTML_OUTPUT            = .
 HTML_FILE_EXTENSION    = .html
 HTML_HEADER            =
 HTML_FOOTER            =
diff --git a/doxygen_gh-pages.sh b/doxygen_gh-pages.sh
deleted file mode 100755
index e208882..0000000
--- a/doxygen_gh-pages.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/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