summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-11-07 09:53:35 +0800
committerLi Haoyi <haoyi.sg@gmail.com>2018-11-07 09:53:35 +0800
commit10169e0eb217843341bd313374a6a852701b9887 (patch)
tree62c9e1ed75b832611146d348a68455851739138e
parent2af4ce9b900aa1b60fa9014856143195fd3708ff (diff)
downloadmill-10169e0eb217843341bd313374a6a852701b9887.tar.gz
mill-10169e0eb217843341bd313374a6a852701b9887.tar.bz2
mill-10169e0eb217843341bd313374a6a852701b9887.zip
fix docs build for real
-rw-r--r--docs/build.sc12
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/build.sc b/docs/build.sc
index a412e410..47779c5e 100644
--- a/docs/build.sc
+++ b/docs/build.sc
@@ -184,10 +184,10 @@ def main(publish: Boolean = false) = {
}
if (publish){
- os.proc("git", 'init).call(cwd = cwd / 'target)
- os.proc("git", 'add, "-A", ".").call(cwd = cwd / 'target)
- os.proc("git", 'commit, "-am", "first commit").call(cwd = cwd / 'target)
- os.proc("git", 'remote, 'add, 'origin, "git@github.com:lihaoyi/mill.git").call(cwd = cwd / 'target)
- os.proc("git", 'push, "-uf", 'origin, "master:gh-pages").call(cwd = cwd / 'target)
+ os.proc("git", 'init).call(cwd = os.pwd / 'target)
+ os.proc("git", 'add, "-A", ".").call(cwd = os.pwd / 'target)
+ os.proc("git", 'commit, "-am", "first commit").call(cwd = os.pwd / 'target)
+ os.proc("git", 'remote, 'add, 'origin, "git@github.com:lihaoyi/mill.git").call(cwd = os.pwd / 'target)
+ os.proc("git", 'push, "-uf", 'origin, "master:gh-pages").call(cwd = os.pwd / 'target)
}
-} \ No newline at end of file
+}