Tutorial: show nice dashes in HTML

Use pandoc's "--smart" option to convert "--" and "---" to the expected dashes. This was already done in the LaTeX (and therefore PDF) but not in the HTML. Signed-off-by: Nadav Har'El <[email protected]> Message-Id: <[email protected]>
zeta1999 · Feb 26, 2018 · 1821af8 · 1821af8
1 parent f841d2d
commit 1821af8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure.py b/configure.py
@@ -1002,7 +1002,7 @@ def have_hwloc():
             description = CSCOPE
         build cscope: cscope
         rule md2html
-            command = pandoc --self-contained --toc -c doc/template.css -V documentclass=report --chapters --number-sections -f markdown_github+pandoc_title_block --highlight-style tango $in -o $out
+            command = pandoc --self-contained --smart --toc -c doc/template.css -V documentclass=report --chapters --number-sections -f markdown_github+pandoc_title_block --highlight-style tango $in -o $out
             description = PANDOC $out
         rule md2pdf
             command = pandoc -f markdown_github+pandoc_title_block --highlight-style tango --template=doc/template.tex $in -o $out