aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorIgor Pashev <pashev.igor@gmail.com>2021-07-17 18:10:34 +0200
committerIgor Pashev <pashev.igor@gmail.com>2021-07-17 18:46:16 +0200
commit48459559a13a20083fc9b31eb523b8ea2bf0a63f (patch)
tree1c04e75709457403110a6f8c5c90099f22369de3 /Makefile
parent0c39509d9b6a58958228cebf5d643598e5c98950 (diff)
parent46099e79defe662e541b12548200caf29063c1c6 (diff)
downloadpandoc-48459559a13a20083fc9b31eb523b8ea2bf0a63f.tar.gz
Merge branch 'master' of https://github.com/jgm/pandoc
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile26
1 files changed, 0 insertions, 26 deletions
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 6664a992f..000000000
--- a/Makefile
+++ /dev/null
@@ -1,26 +0,0 @@
-version ?= $(shell awk '/[Vv]ersion/ { print $$2; }' pandoc.cabal)
-
-.PHONY: test
-test:
- cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests $(ENABLE)
- cabal new-build . --disable-optimization
- cabal new-run test-pandoc --disable-optimization -- --hide-successes $(TESTARGS)
-
-
-.PHONY: full
-full: ENABLE = --enable-benchmarks
-full: test
-
-man/pandoc.1: MANUAL.txt man/pandoc.1.before man/pandoc.1.after
- 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 \
- --metadata author="" \
- --variable footer="pandoc $(version)" \
- -o $@
-
-README.md: README.template MANUAL.txt tools/update-readme.lua
- pandoc --lua-filter tools/update-readme.lua \
- --reference-location=section -t gfm $< -o $@
-