diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-05-20 09:00:01 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-05-20 09:00:01 +0200 |
commit | 90ed3afb56f0e9fe4ef53f2e141239015a20bc08 (patch) | |
tree | 4e98c28ababf8f2865921b756259c51f0c3d215d /debian/patches/0004-Offline-header-for-docs.patch | |
parent | 11be89550b55b77707a062d7468fa5767b84acf1 (diff) |
Refresh patches.
Diffstat (limited to 'debian/patches/0004-Offline-header-for-docs.patch')
-rw-r--r-- | debian/patches/0004-Offline-header-for-docs.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0004-Offline-header-for-docs.patch b/debian/patches/0004-Offline-header-for-docs.patch index 70678963..b6dba1ab 100644 --- a/debian/patches/0004-Offline-header-for-docs.patch +++ b/debian/patches/0004-Offline-header-for-docs.patch @@ -7,10 +7,10 @@ Subject: Offline header for docs. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Doxyfile.in b/src/Doxyfile.in -index e90d2fe..f82baba 100644 +index 52b8cbe..f516ef7 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in -@@ -1045,7 +1045,7 @@ HTML_FILE_EXTENSION = .html +@@ -1046,7 +1046,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. |