blob: 70678963e64abbed57e13ca9e6c3c33e7c9d725d (
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 e90d2fe..f82baba 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
|
