diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-06 15:55:12 +0100 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-06 15:55:12 +0100 |
commit | f0904b58c176576598208069a252ec43c5908f1c (patch) | |
tree | 7fe3e1ffb6efe9a7df89f2a718e152ab59ad138b /debian/patches | |
parent | 0c169783d8d637f9cfcdd4527de0d9d7563cf271 (diff) |
Added patch from upstream to avoid loading external resources in documentation.
Diffstat (limited to 'debian/patches')
-rw-r--r-- | debian/patches/no-external-doc-resources.patch | 76 | ||||
-rw-r--r-- | debian/patches/series | 1 |
2 files changed, 77 insertions, 0 deletions
diff --git a/debian/patches/no-external-doc-resources.patch b/debian/patches/no-external-doc-resources.patch new file mode 100644 index 00000000..260758ef --- /dev/null +++ b/debian/patches/no-external-doc-resources.patch @@ -0,0 +1,76 @@ +--- a/doc/common/header.html ++++ b/doc/common/header.html +@@ -8,8 +8,6 @@ + <meta name="generator" content="Doxygen $doxygenversion"/> + <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME--> + <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME--> +-<!-- GUDHI website css for header BEGIN --> +-<link rel="stylesheet" type="text/css" href="http://pages.saclay.inria.fr/vincent.rouvreau/gudhi/gudhi-doc-2.0.0/assets/css/styles_feeling_responsive.css" /> + <!-- GUDHI website css for header END --> + <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/> + <script type="text/javascript" src="$relpath^jquery.js"></script> +@@ -22,64 +20,6 @@ + </head> + <body> + +-<!-- GUDHI website header BEGIN --> +-<div id="navigation" class="sticky"> +- <nav class="top-bar" role="navigation" data-topbar> +- <ul class="title-area"> +- <li class="name"> +- <h1 class="show-for-small-only"><a href="http://gudhi.gforge.inria.fr" class="icon-tree"> GUDHI C++ library</a></h1> +- </li> +- <!-- Remove the class "menu-icon" to get rid of menu icon. Take out "Menu" to just have icon alone --> +- <li class="toggle-topbar menu-icon"><a href="#"><span>Navigation</span></a></li> +- </ul> +- <section class="top-bar-section"> +- <ul class="right"> +- <li class="divider"></li> +- <li><a href="http://gudhi.gforge.inria.fr/contact/">Contact</a></li> +- </ul> +- <ul class="left"> +- <li><a href="http://gudhi.gforge.inria.fr/"> <img src="http://gudhi.gforge.inria.fr/assets/img/home.png" alt=" GUDHI"> GUDHI </a></li> +- <li class="divider"></li> +- <li class="has-dropdown"> +- <a href="#">Project</a> +- <ul class="dropdown"> +- <li><a href="http://gudhi.gforge.inria.fr/people/">People</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/keepintouch/">Keep in touch</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/partners/">Partners and Funding</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/relatedprojects/">Related projects</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/theyaretalkingaboutus/">They are talking about us</a></li> +- </ul> +- </li> +- <li class="divider"></li> +- <li class="has-dropdown"> +- <a href="#">Download</a> +- <ul class="dropdown"> +- <li><a href="http://gudhi.gforge.inria.fr/licensing/">Licensing</a></li> +- <li><a href="https://gforge.inria.fr/frs/?group_id=3865" target="_blank">Get the sources</a></li> +- <li><a href="https://gforge.inria.fr/frs/download.php/file/37113/GUDHI_2.0.0_OSX_UTILS.beta.tar.gz" target="_blank">Utils for Mac OSx</a></li> +- <li><a href="https://gforge.inria.fr/frs/download.php/file/37112/GUDHI_2.0.0_WIN64_UTILS.beta.zip" target="_blank">Utils for Win x64</a></li> +- </ul> +- </li> +- <li class="divider"></li> +- <li class="has-dropdown"> +- <a href="#">Documentation</a> +- <ul class="dropdown"> +- <li><a href="http://gudhi.gforge.inria.fr/doc/latest/">C++ documentation</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/doc/latest/installation.html">C++ installation manual</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/python/latest/">Python documentation</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/python/latest/installation.html">Python installation manual</a></li> +- <li><a href="http://gudhi.gforge.inria.fr/utils/">Utilities</a></li> +- <li><a href="http://bertrand.michel.perso.math.cnrs.fr/Enseignements/TDA-Gudhi-Python.html" target="_blank">Tutorial</a></li> +- </ul> +- </li> +- <li class="divider"></li> +- <li><a href="http://gudhi.gforge.inria.fr/interfaces/">Interfaces</a></li> +- <li class="divider"></li> +- </ul> +- </section> +- </nav> +-</div><!-- /#navigation --> +-<!-- GUDHI website header BEGIN --> + + <div id="top"><!-- do not remove this div, it is closed by doxygen! --> + diff --git a/debian/patches/series b/debian/patches/series index cd9fa866..ca224839 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,3 +3,4 @@ 0003-Disable-tests-that-use-DFSG-deleted-data-files.patch 0004-Use-system-MathJax.patch 0005-Don-t-set-runtime_library_dirs-for-the-Python-extens.patch +no-external-doc-resources.patch |