doc: stop pandoc typography conversions in html manuals (#954)

Eg: -- was being rendered as en-dash.

[ci skip]
This commit is contained in:
Simon Michael 2019-01-24 15:23:41 -08:00
parent 5711cdf9ba
commit eac15369f2

View File

@ -72,10 +72,10 @@ makeinfo = "makeinfo"
pandoc = "pandoc"
-- The kind of markdown used in our doc source files.
fromsrcmd = "-f markdown-tex_math_dollars"
fromsrcmd = "-f markdown-smart-tex_math_dollars"
-- The kind of markdown we like to generate for the website.
towebmd = "-t markdown-fenced_divs --atx-headers"
towebmd = "-t markdown-smart-fenced_divs --atx-headers"
main = do