diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 09:49:57 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 09:49:57 +0100 |
commit | b32f71f0cee1f8609cfb4205bddea088c4e4094b (patch) | |
tree | 9a8f04863ed0b82b11228ff44e55ec6ff4c39431 /debian/patches/0003-Offline-header-for-docs.patch | |
parent | 415403affce5dc7fdb63aab3b98f9acfadd063a1 (diff) |
Rebase patches
Diffstat (limited to 'debian/patches/0003-Offline-header-for-docs.patch')
-rw-r--r-- | debian/patches/0003-Offline-header-for-docs.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/0003-Offline-header-for-docs.patch b/debian/patches/0003-Offline-header-for-docs.patch index b6dba1ab..8392fa54 100644 --- a/debian/patches/0003-Offline-header-for-docs.patch +++ b/debian/patches/0003-Offline-header-for-docs.patch @@ -7,14 +7,14 @@ Subject: Offline header for docs. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Doxyfile.in b/src/Doxyfile.in -index 52b8cbe..f516ef7 100644 +index 9f697a5..a1a2f6b 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in -@@ -1046,7 +1046,7 @@ HTML_FILE_EXTENSION = .html +@@ -1127,7 +1127,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 = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/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 |