diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 13:15:28 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2018-06-15 13:15:28 +0200 |
commit | 7fb542259cf26331d7ad74da4bc89f16ad4912b3 (patch) | |
tree | a8ae91b0238e12bbde86dcc25ae22c62e100b475 /debian/patches/no-external-doc-resources.patch | |
parent | 1cb73bd3b2404687ed9e2b71c5d11ce2401ef055 (diff) |
Begin refreshing patches.
Diffstat (limited to 'debian/patches/no-external-doc-resources.patch')
-rw-r--r-- | debian/patches/no-external-doc-resources.patch | 88 |
1 files changed, 0 insertions, 88 deletions
diff --git a/debian/patches/no-external-doc-resources.patch b/debian/patches/no-external-doc-resources.patch deleted file mode 100644 index 735ac63b..00000000 --- a/debian/patches/no-external-doc-resources.patch +++ /dev/null @@ -1,88 +0,0 @@ -From: Gard Spreemann <gspreemann@gmail.com> -Date: Fri, 18 May 2018 19:09:11 +0200 -Subject: no-external-doc-resources - -Remove external resource references from Doxygen header. Later upstream -versions will include an alternative header that does the job. ---- - doc/common/header.html | 60 -------------------------------------------------- - 1 file changed, 60 deletions(-) - -diff --git a/doc/common/header.html b/doc/common/header.html -index 9c51438..6a02a89 100644 ---- 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 @@ $extrastylesheet - </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! --> - |