diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-11-07 09:53:35 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-11-07 09:53:35 +0800 |
commit | 10169e0eb217843341bd313374a6a852701b9887 (patch) | |
tree | 62c9e1ed75b832611146d348a68455851739138e /docs | |
parent | 2af4ce9b900aa1b60fa9014856143195fd3708ff (diff) | |
download | mill-10169e0eb217843341bd313374a6a852701b9887.tar.gz mill-10169e0eb217843341bd313374a6a852701b9887.tar.bz2 mill-10169e0eb217843341bd313374a6a852701b9887.zip |
fix docs build for real
Diffstat (limited to 'docs')
-rw-r--r-- | docs/build.sc | 12 |
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 +} |