diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-01-29 21:55:08 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-29 21:55:08 +0100 |
commit | 47da92df2d532572f600f523ff12bd476a25adce (patch) | |
tree | f99b8c897868f985aedbb036c238a48157c920fb | |
parent | 632d4347f49ce1d1de7e991a88325319d4ede0c8 (diff) | |
download | pandoc-47da92df2d532572f600f523ff12bd476a25adce.tar.gz |
Fixed up github changes target in Makefile so #s aren't escaped.
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ bench: stack bench changes_github: - pandoc --filter extract-changes.hs changelog -t markdown_github | pbcopy + pandoc --filter extract-changes.hs changelog -t markdown_github | sed -e 's/\\#/#/g' | pbcopy dist: man/pandoc.1 cabal sdist |