diff options
| -rw-r--r-- | debian/patches/no-external-doc-resources.patch | 2 |
1 files changed, 2 insertions, 0 deletions
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 @@ |