Fix UTF-8 characters in website

BenLangmead · Jul 23, 2020 · 1cc0a45 · 1cc0a45
1 parent f2ea2ee
commit 1cc0a45
Show file tree

Hide file tree

Showing 4 changed files with 131 additions and 262 deletions.
diff --git 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.
 
-</td></tr><tr><td id="bowtie2-options-reorder">
+</td></tr><tr><td id="bowtie-options-reorder">
 
 [`--reorder`]: #bowtie-options-reorder
 

diff --git a/Makefile b/Makefile
@@ -410,6 +410,7 @@ doc: doc/manual.html MANUAL
 doc/manual.html: MANUAL.markdown
 	echo "<h1>Table of Contents</h1>" > .tmp.head
 	pandoc -B .tmp.head \
+	       --ascii \
 	       --css style.css -o $@ \
 	       --from markdown --to HTML \
 	       --metadata title:"Bowtie Manual" \