diff options
author | Igor Pashev <pashev.igor@gmail.com> | 2021-07-17 18:10:34 +0200 |
---|---|---|
committer | Igor Pashev <pashev.igor@gmail.com> | 2021-07-17 18:46:16 +0200 |
commit | 48459559a13a20083fc9b31eb523b8ea2bf0a63f (patch) | |
tree | 1c04e75709457403110a6f8c5c90099f22369de3 /Makefile | |
parent | 0c39509d9b6a58958228cebf5d643598e5c98950 (diff) | |
parent | 46099e79defe662e541b12548200caf29063c1c6 (diff) | |
download | pandoc-48459559a13a20083fc9b31eb523b8ea2bf0a63f.tar.gz |
Merge branch 'master' of https://github.com/jgm/pandoc
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 26 |
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 $@ - |