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

Include the PEP index in `peps.json` (#2567)

This commit is contained in:
wookie184 2022-05-01 16:38:40 +01:00 committed by GitHub
parent 77b5482c82
commit 278070ac97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pep_sphinx_extensions/pep_zero_generator/pep_index_generator.py
View File

@ -78,7 +78,10 @@ def create_pep_zero(app: Sphinx, env: BuildEnvironment, docnames: list[str]) ->
peps.append(pep)
pep0_text = writer.PEPZeroWriter().write_pep0(sorted(peps))
Path(f"{pep_zero_filename}.rst").write_text(pep0_text, encoding="utf-8")
pep0_path = Path(f"{pep_zero_filename}.rst")
pep0_path.write_text(pep0_text, encoding="utf-8")
peps.append(parser.PEP(pep0_path, authors_overrides))
# Add to files for builder
docnames.insert(1, pep_zero_filename)