summaryrefslogtreecommitdiff
path: root/debian/patches/0004-Offline-header-for-docs.patch
diff options
context:
space:
mode:
authorGard Spreemann <gspr@nonempty.org>2020-01-21 10:41:14 +0100
committerGard Spreemann <gspr@nonempty.org>2020-01-21 10:41:14 +0100
commit3d1fc128ab514532da240453111e344b28459ea1 (patch)
tree35d6c037abe87df84b4c0c5246ff4c85248a5f90 /debian/patches/0004-Offline-header-for-docs.patch
parent901331d656a7c3f4a1799a35d554be7291a76686 (diff)
Refresh patches.
Diffstat (limited to 'debian/patches/0004-Offline-header-for-docs.patch')
-rw-r--r--debian/patches/0004-Offline-header-for-docs.patch2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0004-Offline-header-for-docs.patch b/debian/patches/0004-Offline-header-for-docs.patch
index 232d7e53..70678963 100644
--- a/debian/patches/0004-Offline-header-for-docs.patch
+++ b/debian/patches/0004-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 de452c9..98d8b96 100644
+index e90d2fe..f82baba 100644
--- a/src/Doxyfile.in
+++ b/src/Doxyfile.in
@@ -1045,7 +1045,7 @@ HTML_FILE_EXTENSION = .html