diff options
Diffstat (limited to 'debian/patches/drop-not-needed-js-from-manual.patch')
| -rw-r--r-- | debian/patches/drop-not-needed-js-from-manual.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/drop-not-needed-js-from-manual.patch b/debian/patches/drop-not-needed-js-from-manual.patch index fb68ee4..90afdba 100644 --- a/debian/patches/drop-not-needed-js-from-manual.patch +++ b/debian/patches/drop-not-needed-js-from-manual.patch @@ -1,9 +1,9 @@ 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 @@ +--- a/doc/manual.html ++++ b/doc/manual.html +@@ -20,9 +20,6 @@ .display.math{display: block; text-align: center; margin: 0.5rem auto;} </style> <link rel="stylesheet" href="doc/style.css" /> |