diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-08-12 23:11:28 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-08-12 23:11:28 -0700 |
commit | e65c6b0b5d9e107386c41fa4ff65064e67d168aa (patch) | |
tree | 299e041b310982d4fa05372f135ebc2a6dfb6447 | |
parent | c9900278321a14071c6721fdfb702e39ca5e2a38 (diff) | |
download | pandoc-e65c6b0b5d9e107386c41fa4ff65064e67d168aa.tar.gz |
Use the smart extension when generating pandoc's man page.
See #6613.
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -110,7 +110,7 @@ pandoc-windows-x86_64.msi: wget "https://ci.appveyor.com/api/buildjobs/$$JOBID/artifacts/windows%2F$@" -O $@ man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after - pandoc $< -f markdown-smart -t man -s \ + pandoc $< -f markdown -t man -s \ --lua-filter man/manfilter.lua \ --include-before-body man/pandoc.1.before \ --include-after-body man/pandoc.1.after \ |