diff options
author | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 11:30:25 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2022-01-14 11:30:25 +0100 |
commit | ff3e76a81cb8a36a9a71208583637d615b32a7ba (patch) | |
tree | 12111afe8d4e3e2bcd119207198092e4532133cf /debian | |
parent | 36bff8230e28d8b1800253cedbaea9dd7614a5f4 (diff) |
Update patch
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/0003-Offline-header-for-docs.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0003-Offline-header-for-docs.patch b/debian/patches/0003-Offline-header-for-docs.patch index 8392fa54..01b58c29 100644 --- a/debian/patches/0003-Offline-header-for-docs.patch +++ b/debian/patches/0003-Offline-header-for-docs.patch @@ -7,7 +7,7 @@ Subject: Offline header for docs. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Doxyfile.in b/src/Doxyfile.in -index 9f697a5..a1a2f6b 100644 +index 9f697a5..4b6d792 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in @@ -1127,7 +1127,7 @@ HTML_FILE_EXTENSION = .html @@ -15,7 +15,7 @@ index 9f697a5..a1a2f6b 100644 # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/header.html -+HTML_HEADER = doc/common/offline_header.html ++HTML_HEADER = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/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 |