Copy image files in the dist directory

This commit is contained in:
Marco Castelluccio 2016-09-23 02:15:59 +01:00
Родитель 5ce50783d4
Коммит 54ecf9b713
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -298,6 +298,7 @@ if __name__ == "__main__":
except: except:
pass pass
os.mkdir('dist') os.mkdir('dist')
os.mkdir('dist/images')
for channel in args.channels: for channel in args.channels:
for startup in [False, True]: for startup in [False, True]:
@ -323,7 +324,7 @@ if __name__ == "__main__":
'compare-betas.html', 'compare-betas.js', 'compare-betas.html', 'compare-betas.js',
'beta-stability-pushlog.html', 'beta-stability-pushlog.js', 'beta-stability-pushlog.html', 'beta-stability-pushlog.js',
'graphics_critical_errors.html', 'graphics_critical_errors.js', 'graphics_critical_errors.html', 'graphics_critical_errors.js',
] ] + ['images/' + image for image in os.listdir('images')]
for f in files: for f in files:
shutil.copyfile(f, 'dist/' + f) shutil.copyfile(f, 'dist/' + f)