summaryrefslogtreecommitdiff
path: root/debian/patches/0006-Offline-header-for-docs.patch
blob: 232d7e535e749ae6c8bb0b6ead4948f22672c77b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
From: Gard Spreemann <gspr@nonempty.org>
Date: Wed, 25 Sep 2019 15:19:14 +0200
Subject: Offline header for docs.

---
 src/Doxyfile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Doxyfile.in b/src/Doxyfile.in
index de452c9..98d8b96 100644
--- a/src/Doxyfile.in
+++ b/src/Doxyfile.in
@@ -1045,7 +1045,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