move the doxygen script into its own repo

diff --git a/Doxyfile b/Doxyfile
index b79b176e95cfe75954a04fdb992bd0b4a7cce626..04d9e33560b78fe58da856a66756d5b36c44e7a5 100644 (file)
--- 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 (executable)
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