From ff4385ab7a7c0b321082867b34dd4ea8965f1b40 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Fri, 9 Mar 2018 15:27:38 +0100 Subject: Patch description. --- debian/patches/no-external-doc-resources.patch | 2 ++ 1 file changed, 2 insertions(+) (limited to 'debian') diff --git a/debian/patches/no-external-doc-resources.patch b/debian/patches/no-external-doc-resources.patch index 260758ef..df35669d 100644 --- a/debian/patches/no-external-doc-resources.patch +++ b/debian/patches/no-external-doc-resources.patch @@ -1,3 +1,5 @@ +Remove external resource references from Doxygen header. Later upstream +versions will include an alternative header that does the job. --- a/doc/common/header.html +++ b/doc/common/header.html @@ -8,8 +8,6 @@ -- cgit v1.2.3