From 1cc0a45a56197c027fdc41c4fc62752853006cc3 Mon Sep 17 00:00:00 2001 From: Rone Date: Wed, 22 Jul 2020 22:52:57 -0400 Subject: [PATCH] Fix UTF-8 characters in website --- MANUAL.markdown | 2 +- Makefile | 1 + doc/manual.html | 120 +++++++++--------- doc/website/manual.ssi | 270 +++++++++++------------------------------ 4 files changed, 131 insertions(+), 262 deletions(-) diff --git a/MANUAL.markdown b/MANUAL.markdown index 33040aa1..907bcc59 100644 --- a/MANUAL.markdown +++ b/MANUAL.markdown @@ -1427,7 +1427,7 @@ on separate processors/cores and synchronize when parsing reads and outputting alignments. Searching for alignments is highly parallel, and speedup is fairly close to linear. - + [`--reorder`]: #bowtie-options-reorder diff --git a/Makefile b/Makefile index 887076bb..cdba8f9c 100644 --- a/Makefile +++ b/Makefile @@ -410,6 +410,7 @@ doc: doc/manual.html MANUAL doc/manual.html: MANUAL.markdown echo "

Table of Contents

" > .tmp.head pandoc -B .tmp.head \ + --ascii \ --css style.css -o $@ \ --from markdown --to HTML \ --metadata title:"Bowtie Manual" \ diff --git a/doc/manual.html b/doc/manual.html index 5aabfe6d..c6a264e5 100644 --- a/doc/manual.html +++ b/doc/manual.html @@ -26,7 +26,7 @@

Bowtie Manual