8000 Include the PEP index in `peps.json` (#2567) · python/peps@278070a · GitHub
[go: up one dir, main page]

Skip to content

Commit 278070a

Browse files
authored
Include the PEP index in peps.json (#2567)
1 parent 77b5482 commit 278070a

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

pep_sphinx_extensions/pep_zero_generator/pep_index_generator.py

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,10 @@ def create_pep_zero(app: Sphinx, env: BuildEnvironment, docnames: list[str]) ->
7878
peps.append(pep)
7979

8080
pep0_text = writer.PEPZeroWriter().write_pep0(sorted(peps))
81-
Path(f"{pep_zero_filename}.rst").write_text(pep0_text, encoding="utf-8")
81+
pep0_path = Path(f"{pep_zero_filename}.rst")
82+
pep0_path.write_text(pep0_text, encoding="utf-8")
83+
84+
peps.append(parser.PEP(pep0_path, authors_overrides))
8285

8386
# Add to files for builder
8487
docnames.insert(1, pep_zero_filename)

0 commit comments

Comments
 (0)
0