diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2019-12-10 14:31:00 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2019-12-10 14:31:00 +0100 |
| commit | 72945fa47b941b4221c9b3f2c1e376aab915c456 (patch) | |
| tree | fccb12ca952696f88f0b8632903fd509238c1db1 /debian/patches/0004-Offline-header-for-docs.patch | |
| parent | 1e87e95397d1d7da76818509bd1d07509b4c46d7 (diff) | |
Renumber patches.
Diffstat (limited to 'debian/patches/0004-Offline-header-for-docs.patch')
| -rw-r--r-- | debian/patches/0004-Offline-header-for-docs.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/patches/0004-Offline-header-for-docs.patch b/debian/patches/0004-Offline-header-for-docs.patch new file mode 100644 index 00000000..232d7e53 --- /dev/null +++ b/debian/patches/0004-Offline-header-for-docs.patch @@ -0,0 +1,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 de452c9..98d8b96 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 |