diff options
Diffstat (limited to 'debian/patches/0003-Offline-header-for-docs.patch')
| -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 2ba471d3..91cad23d 100644 --- a/debian/patches/0003-Offline-header-for-docs.patch +++ b/debian/patches/0003-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 b2f44d5..c938635 100644 +index 093aaa5..152041e 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in -@@ -1096,7 +1096,7 @@ HTML_FILE_EXTENSION = .html +@@ -1095,7 +1095,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. |