diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-02-20 20:52:00 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-20 20:52:00 +0100 |
| commit | ce8226f1a7d64da56117d2f7f351e06225a84614 (patch) | |
| tree | 9f2d716df0230f5f17372f19b8718dcf86039fd9 /tools | |
| parent | e86e44b98e592d5a5e4c6b43d9b57b195f091ed9 (diff) | |
| parent | 12d96508c62189b4ff8c8b797d34cc9ef177f5ee (diff) | |
| download | pandoc-ce8226f1a7d64da56117d2f7f351e06225a84614.tar.gz | |
Merge commit '9e52ac6bb02afd7b4ed5dad61021a1fa33051203' as 'data/templates'
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/extract-changes.hs | 9 | ||||
| -rwxr-xr-x | tools/github-upload.sh | 18 |
2 files changed, 0 insertions, 27 deletions
diff --git a/tools/extract-changes.hs b/tools/extract-changes.hs deleted file mode 100644 index 8c8160c2c..000000000 --- a/tools/extract-changes.hs +++ /dev/null @@ -1,9 +0,0 @@ --- Extract changes from latest version in changelog. -import Text.Pandoc.JSON - -main = toJSONFilter extractFirst - -extractFirst :: Pandoc -> Pandoc -extractFirst (Pandoc meta (Para{} : BulletList bs : _)) = - Pandoc meta [BulletList bs] -extractFirst x = x diff --git a/tools/github-upload.sh b/tools/github-upload.sh deleted file mode 100755 index 875d51831..000000000 --- a/tools/github-upload.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash - -VERSION=$1 -FULLNAME=pandoc-$VERSION -read -s -p "Token (https://github.com/settings/applications): " TOKEN - -curl -H "Authorization: token $TOKEN" \ - -H "Accept: application/vnd.github.manifold-preview" \ - -H "Content-Type: application/x-apple-diskimage" \ - --data-binary @$FULLNAME.pkg.zip \ - "https://uploads.github.com/repos/jgm/pandoc/releases/$VERSION/assets?name=$FULLNAME.pkg.zip" - -curl -H "Authorization: token $TOKEN" \ - -H "Accept: application/vnd.github.manifold-preview" \ - -H "Content-Type: application/x-msi" \ - --data-binary @$FULLNAME.msi \ - "https://uploads.github.com/repos/jgm/pandoc/releases/$VERSION/assets?name=$FULLNAME.msi" - |