From d3729487a0f24eb5297cdb563dacb93d43d28fd4 Mon Sep 17 00:00:00 2001 From: Hugo van Kemenade Date: Tue, 29 Mar 2022 17:11:57 +0300 Subject: [PATCH] Infra: Move from /peps.rss to /api/peps --- .../pep_zero_generator/pep_index_generator.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pep_sphinx_extensions/pep_zero_generator/pep_index_generator.py b/pep_sphinx_extensions/pep_zero_generator/pep_index_generator.py index 6289d250196a..314a5f7ca530 100644 --- a/pep_sphinx_extensions/pep_zero_generator/pep_index_generator.py +++ b/pep_sphinx_extensions/pep_zero_generator/pep_index_generator.py @@ -88,4 +88,6 @@ def create_pep_zero(app: Sphinx, env: BuildEnvironment, docnames: list[str]) -> # Create peps.json pep0_json = create_pep_json(peps) - Path(app.outdir, "peps.json").write_text(pep0_json, encoding="utf-8") + out_dir = Path(app.outdir) / "api" + out_dir.mkdir(exist_ok=True) + Path(out_dir, "peps").write_text(pep0_json, encoding="utf-8")