iSharkFly-Open
/
python-peps
mirror of https://github.com/python/peps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixes #14215: copy magic yaml file to get a nice <title> for python.org/dev/peps/ index page

This commit is contained in:
Georg Brandl 2012-11-11 16:42:32 +01:00
parent 8a2c725435
commit 4718959dd8
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pep2pyramid.py
View File

@ -397,6 +397,9 @@ def make_html(inpath):
# for PEP 0, copy body to parent directory as well # for PEP 0, copy body to parent directory as well
if pepnum == '0000': if pepnum == '0000':
shutil.copyfile(outpath, os.path.join(destDir, '..', 'body.html')) shutil.copyfile(outpath, os.path.join(destDir, '..', 'body.html'))
# apparently we need the index.yml as well to generate <title> right
shutil.copyfile(os.path.join(destDir, 'index.yml'),
os.path.join(destDir, '..', 'index.yml'))
copy_aux_files(inpath, destDir) copy_aux_files(inpath, destDir)
return outpath return outpath