diff options
| -rwxr-xr-x | Doc/tools/dailybuild.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/tools/dailybuild.py b/Doc/tools/dailybuild.py index 6291d90898..c0f45ebc27 100755 --- a/Doc/tools/dailybuild.py +++ b/Doc/tools/dailybuild.py @@ -53,7 +53,8 @@ def build_one(checkout, target, isdev): print 'Copying HTML files' os.system('cp -a Doc/build/html/* %s' % target) print 'Copying dist files' - os.system('cp -a Doc/dist %s/dist' % target) + os.system('mkdir %s/archives' % target) + os.system('cp -a Doc/dist/* %s/archives' % target) print 'Finished' print '=' * 80 |