commit | da0dbc004ca9867db7dc470765505ebb09b949b0 | [log] [tgz] |
---|---|---|
author | Serhiy Storchaka <storchaka@gmail.com> | Mon Feb 03 20:42:43 2014 +0200 |
committer | Serhiy Storchaka <storchaka@gmail.com> | Mon Feb 03 20:42:43 2014 +0200 |
tree | 23be84d609a2840102381fd1fa06ef563554c238 | |
parent | d2eff237a68db4b6123d3477ce58bc5012c5e621 [diff] | |
parent | 60f0793c3096ddf6115871ff3bfb3836d5295051 [diff] |
Merge heads
diff --git a/Doc/tools/dailybuild.py b/Doc/tools/dailybuild.py index ab4265e..f843117 100755 --- a/Doc/tools/dailybuild.py +++ b/Doc/tools/dailybuild.py
@@ -43,7 +43,7 @@ print 'Doc autobuild started in %s' % checkout os.chdir(checkout) print 'Running hg pull --update' - os.system('/usr/local/bin/hg pull --update') + os.system('hg pull --update') print 'Running make autobuild' maketarget = 'autobuild-' + ('html' if quick else ('dev' if isdev else 'stable'))