diff options
author | Vidar Holen <vidar@vidarholen.net> | 2018-12-02 13:56:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-02 13:56:14 -0800 |
commit | 0761f5c923b901164fbd4b286a561876ef336504 (patch) | |
tree | 1afc70dedd3ca47fcda12b8ce555ac00eb0da145 | |
parent | b55149b22da51831eef1de250006da7963360cd1 (diff) | |
parent | 4097bb5154110a567e4e320017fc3b6887207059 (diff) |
Merge pull request #1397 from ngzhian/man-en-dash
Disable smart typography extension for markdown input
-rw-r--r-- | Setup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,4 +33,4 @@ myPreSDist _ _ = do putStrLn $ "pandoc exited with " ++ show result return emptyHookedBuildInfo where - pandoc_cmd = "pandoc -s -t man shellcheck.1.md -o shellcheck.1" + pandoc_cmd = "pandoc -s -f markdown-smart -t man shellcheck.1.md -o shellcheck.1" |