summaryrefslogtreecommitdiff
path: root/debian/patches/no-external-doc-resources.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/no-external-doc-resources.patch')
-rw-r--r--debian/patches/no-external-doc-resources.patch88
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="&nbsp;&nbsp;GUDHI">&nbsp;&nbsp;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! -->
-