From 2f24d1cd5b3343af409a28774322c87e344f7fbe Mon Sep 17 00:00:00 2001 From: Michael Wallner 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 | 18 ------------------ 2 files changed, 1 insertion(+), 19 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 770f098..0000000 --- a/doxygen_gh-pages.sh +++ /dev/null @@ -1,18 +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