summaryrefslogtreecommitdiff
path: root/debian/patches/0008-Offline-header-to-avoid-loading-remote-resources-in-.patch
blob: 3c93cecda2da4152abfa1ba8c28b2d77f907b640 (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: Fri, 15 Jun 2018 13:42:45 +0200
Subject: Offline header to avoid loading remote resources in HTML docs.

---
 Doxyfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doxyfile b/Doxyfile
index 88ce932..eb565bc 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -1059,7 +1059,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