summaryrefslogtreecommitdiff
path: root/debian/patches/drop-not-needed-js-from-manual.patch
blob: fb68ee42b7863765c050141463c8f0c29d1e2804 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Description: Remove link to external js lib, not needed as used for ie browsers
Author: Alex Mestiashvili <amestia@rsh2.donotuse.de>
Forwarded: not-needed
--- bowtie2.orig/doc/manual.html
+++ bowtie2/doc/manual.html
@@ -15,9 +15,6 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <link rel="stylesheet" href="doc/style.css" />
-  <!--[if lt IE 9]>
-    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
-  <![endif]-->
 </head>
 <body>
 <h1>Table of Contents</h1>