From e65c6b0b5d9e107386c41fa4ff65064e67d168aa Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Wed, 12 Aug 2020 23:11:28 -0700 Subject: [PATCH] Use the smart extension when generating pandoc's man page. See #6613. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index eef7183fe..e7f619677 100644 --- a/Makefile +++ b/Makefile @@ -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 \