From: Michael Wallner <mike@php.net>
Date: Tue, 28 Jul 2015 07:27:59 +0000 (+0200)
Subject: move the doxygen script into its own repo
X-Git-Tag: release-2.0.0RC1~10^2~4
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=8b6e4e1fb508f5e22084205fcad206c7a1a0ba58;p=m6w6%2Fext-raphf

move the doxygen script into its own repo
---

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