diff options
| author | Bryant Mairs <bryantmairs@google.com> | 2017-11-13 20:27:06 -0800 |
|---|---|---|
| committer | Bryant Mairs <bryantmairs@google.com> | 2017-11-13 20:27:06 -0800 |
| commit | c2c1973382e0c013628d951f0e8a05b21eaa5ba1 (patch) | |
| tree | 155320493184e2ff7a33830a92844c1049016237 /deploy.sh | |
| parent | 55f0a1398022816b370e2f1f9ab00921cad5f44f (diff) | |
| download | nix-c2c1973382e0c013628d951f0e8a05b21eaa5ba1.zip | |
Remove deploy.sh
This script is a remnant from when generating docs was part of the
publishing process. With docs.rs generating docs for all packages,
this is no longer necessary.
Additionally this script has been incorrect for a long time since
nix moved from carllerche/nix to nix-rust/nix.
Diffstat (limited to 'deploy.sh')
| -rw-r--r-- | deploy.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/deploy.sh b/deploy.sh deleted file mode 100644 index 78f4769d..00000000 --- a/deploy.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -rev=$(git rev-parse --short HEAD) - -cd target/doc - -git init -git config user.name "Carl Lerche" -git config user.email "me@carllerche.com" - -git remote add upstream "https://$GH_TOKEN@github.com/carllerche/nix-rust" -git fetch upstream && git reset upstream/gh-pages - -touch . - -git add -A . -git commit -m "rebuild pages at ${rev}" -git push -q upstream HEAD:gh-pages |