summaryrefslogtreecommitdiff
path: root/debian/patches/0007-Offline-header-for-docs.patch
blob: 536227ad81a4d3c222c02f33bfbf63f476f4bf27 (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 <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