From 47da92df2d532572f600f523ff12bd476a25adce Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 29 Jan 2017 21:55:08 +0100
Subject: Fixed up github changes target in Makefile so #s aren't escaped.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1c6204e2a..2138ced56 100644
--- a/Makefile
+++ b/Makefile
@@ -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
-- 
cgit v1.2.3