Fix 'make changes_github'.
commitf7a98a6d7feea09bab0b12b7de63d61345fc62ba
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 5 Nov 2017, 09:58 (9 years ago)
parentb2bde69
Makefile+1−1
@@ -32,7 +32,7 @@ lint:
3232 for f in $(SOURCEFILES); do echo $$f; hlint --verbose --refactor --refactor-options='-i -s' $$f; done
3333
3434changes_github:
35− pandoc --filter extract-changes.hs changelog -t markdown_github | sed -e 's/\\#/#/g' | pbcopy
35+ pandoc --filter tools/extract-changes.hs changelog -t gfm+hard_line_breaks | sed -e 's/\\#/#/g' | pbcopy
3636
3737dist: man/pandoc.1
3838 cabal sdist