diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 13:43:12 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 13:44:20 +0200 |
| commit | dfb9e96d8ad38add77e2c874cbe7c5d939cbf557 (patch) | |
| tree | aaad855f3d91cb7c51babcd501731400293fce19 | |
| parent | 7441f013f50f613b1a9c0e7a9bff697df442a78e (diff) | |
Offline doc headers patch.
| -rw-r--r-- | debian/patches/0008-Offline-header-to-avoid-loading-remote-resources-in-.patch | 21 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/0008-Offline-header-to-avoid-loading-remote-resources-in-.patch b/debian/patches/0008-Offline-header-to-avoid-loading-remote-resources-in-.patch new file mode 100644 index 00000000..3c93cecd --- /dev/null +++ b/debian/patches/0008-Offline-header-to-avoid-loading-remote-resources-in-.patch @@ -0,0 +1,21 @@ +From: Gard Spreemann <gspreemann@gmail.com> +Date: Fri, 15 Jun 2018 13:42:45 +0200 +Subject: Offline header to avoid loading remote resources in HTML docs. + +--- + Doxyfile | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/Doxyfile b/Doxyfile +index 88ce932..eb565bc 100644 +--- a/Doxyfile ++++ b/Doxyfile +@@ -1059,7 +1059,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. + +-HTML_HEADER = doc/common/header.html ++HTML_HEADER = doc/common/offline_header.html + + # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each + # generated HTML page. If the tag is left blank doxygen will generate a standard diff --git a/debian/patches/series b/debian/patches/series index efd45f90..e92865f0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -5,3 +5,4 @@ 0005-Don-t-set-runtime-library-dirs-for-Python-extensions.patch 0006-Force-linking-of-Python-module-with-CGAL.patch 0007-Force-linking-against-libatomic-for-parts-that-use-T.patch +0008-Offline-header-to-avoid-loading-remote-resources-in-.patch |