diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-09-10 05:25:43 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-09-10 05:25:43 +0200 |
commit | 30a2d7854f5ef28e02d2b931b01255ea81cdebc6 (patch) | |
tree | 0ec47350b071a827f809afc205ae26bd94f15b98 /debian/patches/0007-Offline-header-for-docs.patch | |
parent | 350e1f89d88390ddad09d817a0939f25bdf89312 (diff) |
Refresh patches.
Diffstat (limited to 'debian/patches/0007-Offline-header-for-docs.patch')
-rw-r--r-- | debian/patches/0007-Offline-header-for-docs.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/0007-Offline-header-for-docs.patch b/debian/patches/0007-Offline-header-for-docs.patch new file mode 100644 index 00000000..536227ad --- /dev/null +++ b/debian/patches/0007-Offline-header-for-docs.patch @@ -0,0 +1,21 @@ +From: Gard Spreemann <gspreemann@gmail.com> +Date: Mon, 10 Sep 2018 05:22:06 +0200 +Subject: Offline header for docs. + +--- + Doxyfile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Doxyfile b/Doxyfile +index fb67087..a341cc6 100644 +--- a/Doxyfile ++++ b/Doxyfile +@@ -1061,7 +1061,7 @@ HTML_FILE_EXTENSION = .html + # of the possible markers and block names see the documentation. + # This tag requires that the tag GENERATE_HTML is set to YES. + +-HTML_HEADER = doc/common/header.html ++HTML_HEADER = doc/common/offline_header.html + + # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each + # generated HTML page. If the tag is left blank doxygen will generate a standard |