Fixed up github changes target in Makefile so #s aren't escaped.

2026-08-26 10:16:32 +00:00 · 2017-01-29 21:55:08 +01:00
parent 632d4347f4
commit 47da92df2d
1 changed files with 1 additions and 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