From be140ab496034f3b585d70859b652d4452ec3e03 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 11 Dec 2016 22:19:17 +0100
Subject: [PATCH] Moved extract-changes.hs and github-upload.sh to tools/.

---
 Makefile                                       | 2 +-
 extract-changes.hs => tools/extract-changes.hs | 0
 github-upload.sh => tools/github-upload.sh     | 0
 3 files changed, 1 insertion(+), 1 deletion(-)
 rename extract-changes.hs => tools/extract-changes.hs (100%)
 rename github-upload.sh => tools/github-upload.sh (100%)

diff --git a/Makefile b/Makefile
index 1c6204e2a..70a5ce41e 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 tools/extract-changes.hs changelog -t markdown_github | pbcopy
 
 dist: man/pandoc.1
 	cabal sdist
diff --git a/extract-changes.hs b/tools/extract-changes.hs
similarity index 100%
rename from extract-changes.hs
rename to tools/extract-changes.hs
diff --git a/github-upload.sh b/tools/github-upload.sh
similarity index 100%
rename from github-upload.sh
rename to tools/github-upload.sh