Fixed up github changes target in Makefile so #s aren't escaped.
commit47da92df2d532572f600f523ff12bd476a25adce
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 29 Jan 2017, 21:55 (10 years ago)
parent632d434
Makefile+1−1
@@ -15,7 +15,7 @@ bench:
1515 stack bench
1616
1717changes_github:
18− pandoc --filter extract-changes.hs changelog -t markdown_github | pbcopy
18+ pandoc --filter extract-changes.hs changelog -t markdown_github | sed -e 's/\\#/#/g' | pbcopy
1919
2020dist: man/pandoc.1
2121 cabal sdist