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