Fix changes_github Makefile target.

This commit is contained in:
John MacFarlane 2019-11-22 09:23:14 -08:00
parent 0cad098c53
commit dc83f0173f

View file

@ -49,7 +49,7 @@ lint:
for f in $(SOURCEFILES); do echo $$f; hlint --verbose --refactor --refactor-options='-i -s' $$f; done
changes_github:
pandoc --filter tools/extract-changes.hs changelog -t gfm --wrap=none | sed -e 's/\\#/#/g' | pbcopy
pandoc --filter tools/extract-changes.hs changelog.md -t gfm --wrap=none | sed -e 's/\\#/#/g' | pbcopy
dist: man/pandoc.1
cabal sdist