diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-11-05 09:58:35 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-11-05 09:58:35 -0800 |
| commit | f7a98a6d7feea09bab0b12b7de63d61345fc62ba (patch) | |
| tree | 3819415ae9a07afafed3eb34726d6419249d4701 /Makefile | |
| parent | b2bde69384e69afdeddaafbd9dde14dcb9cfdc37 (diff) | |
Fix 'make changes_github'.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ lint: for f in $(SOURCEFILES); do echo $$f; hlint --verbose --refactor --refactor-options='-i -s' $$f; done changes_github: - pandoc --filter extract-changes.hs changelog -t markdown_github | sed -e 's/\\#/#/g' | pbcopy + pandoc --filter tools/extract-changes.hs changelog -t gfm+hard_line_breaks | sed -e 's/\\#/#/g' | pbcopy dist: man/pandoc.1 cabal sdist |