aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2022-08-16 16:27:31 -0700
committerJohn MacFarlane <[email protected]>2022-08-17 12:28:14 -0700
commit8ddc2fc79a45283e7b90f59e9a7763e877d4c044 (patch)
tree3e9e8f4fdc7370137c46344ba1829aac6c43c6cd /Makefile
parent90d52b7129440d7d91bcdf3210513f380063be0a (diff)
Integrate server into main pandoc.
- Remove server flag. - Remove pandoc-server executable. - Add Text.Pandoc.Server as exposed module. [API change] - Re-use Opt (and our existing FromJSON instance) for Params. - Document.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index df2d9cc44..fbd3c0eb6 100644
--- a/Makefile
+++ b/Makefile
@@ -102,7 +102,7 @@ man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after
--variable footer="pandoc $(version)" \
-o $@
-man/pandoc-server.1: server/pandoc-server.md
+man/pandoc-server.1: doc/pandoc-server.md
pandoc $< -f markdown -t man -s \
--lua-filter man/manfilter.lua \
--variable footer="pandoc-server $(version)" \