Fix changes_github Makefile target.
commitdc83f0173f16b88db221701fc90fb614c61deda9
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 22 Nov 2019, 09:23 (7 years ago)
parent0cad098
Makefile+1−1
@@ -49,7 +49,7 @@ lint:
4949 for f in $(SOURCEFILES); do echo $$f; hlint --verbose --refactor --refactor-options='-i -s' $$f; done
5050
5151changes_github:
52− pandoc --filter tools/extract-changes.hs changelog -t gfm --wrap=none | sed -e 's/\\#/#/g' | pbcopy
52+ pandoc --filter tools/extract-changes.hs changelog.md -t gfm --wrap=none | sed -e 's/\\#/#/g' | pbcopy
5353
5454dist: man/pandoc.1
5555 cabal sdist