diff options
| -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 |