diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-12-11 22:19:17 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:41 +0100 |
commit | be140ab496034f3b585d70859b652d4452ec3e03 (patch) | |
tree | d4991a972fd89ced29cb73ceaee1523951a6bd21 | |
parent | 00240ca7ed84c377880817c85c25dce8cfaff3cd (diff) |
Moved extract-changes.hs and github-upload.sh to tools/.
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | tools/extract-changes.hs (renamed from extract-changes.hs) | 0 | ||||
-rwxr-xr-x | tools/github-upload.sh (renamed from github-upload.sh) | 0 |
3 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 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 index 8c8160c2c..8c8160c2c 100644 --- a/extract-changes.hs +++ b/tools/extract-changes.hs diff --git a/github-upload.sh b/tools/github-upload.sh index 875d51831..875d51831 100755 --- a/github-upload.sh +++ b/tools/github-upload.sh |