diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 15:09:43 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 15:09:43 +0200 |
commit | 3d092293bab8b5d9e866ac51283d95927f41c337 (patch) | |
tree | 31385442d5fb7984662385baee85cb5b73ed2f01 /debian/patches/0007-Offline-header-for-docs.patch | |
parent | 1fa3227fab8b27a397952c44cb6ed9d2ee71eb42 (diff) |
Prepare for refreshed 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, 0 insertions, 21 deletions
diff --git a/debian/patches/0007-Offline-header-for-docs.patch b/debian/patches/0007-Offline-header-for-docs.patch deleted file mode 100644 index 536227ad..00000000 --- a/debian/patches/0007-Offline-header-for-docs.patch +++ /dev/null @@ -1,21 +0,0 @@ -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 |