diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-11-07 07:54:49 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-11-07 07:54:55 +0800 |
commit | 2af4ce9b900aa1b60fa9014856143195fd3708ff (patch) | |
tree | 2ede3c65730387e837fe2e812308a2ea5ecfc467 /docs/build.sc | |
parent | e13e871230f1ab363620fcedcd86d7f6d7aeea2f (diff) | |
download | mill-2af4ce9b900aa1b60fa9014856143195fd3708ff.tar.gz mill-2af4ce9b900aa1b60fa9014856143195fd3708ff.tar.bz2 mill-2af4ce9b900aa1b60fa9014856143195fd3708ff.zip |
fix docs build
Diffstat (limited to 'docs/build.sc')
-rw-r--r-- | docs/build.sc | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/docs/build.sc b/docs/build.sc index ffe3ac33..a412e410 100644 --- a/docs/build.sc +++ b/docs/build.sc @@ -184,11 +184,10 @@ def main(publish: Boolean = false) = { } if (publish){ - implicit val wd = os.pwd/'target - os.proc("git", 'init).call() - os.proc("git", 'add, "-A", ".").call() - os.proc("git", 'commit, "-am", "first commit").call() - os.proc("git", 'remote, 'add, 'origin, "git@github.com:lihaoyi/mill.git").call() - os.proc("git", 'push, "-uf", 'origin, "master:gh-pages").call() + 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) } }
\ No newline at end of file |