summaryrefslogtreecommitdiff
path: root/debian/patches/drop-not-needed-js-from-manual.patch
blob: 25f7b9f276611a0a907bd93c11f891dd18722595 (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
@@ -14,9 +14,6 @@
     ul.task-list{list-style: none;}
   </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>