Copy README into index, don’t move it.

gold
Eric Holscher 2014-12-01 18:46:33 -08:00
parent 71e29dcd81
commit b1a037066b
1 changed files with 1 additions and 1 deletions

View File

@ -97,7 +97,7 @@ class BaseBuilder(object):
if not os.path.exists(index_filename): if not os.path.exists(index_filename):
readme_filename = os.path.join(docs_dir, 'README.{ext}'.format(ext=extension)) readme_filename = os.path.join(docs_dir, 'README.{ext}'.format(ext=extension))
if os.path.exists(readme_filename): if os.path.exists(readme_filename):
os.system('mv {readme} {index}'.format(index=index_filename, readme=readme_filename)) os.system('cp {readme} {index}'.format(index=index_filename, readme=readme_filename))
else: else:
index_file = open(index_filename, 'w+') index_file = open(index_filename, 'w+')
index_text = """ index_text = """