Skip to content

Commit

Permalink
Infra: Move from /peps.rss to /api/peps
Browse files Browse the repository at this point in the history
  • Loading branch information
hugovk committed Mar 29, 2022
1 parent 30d0d6c commit 52f8ca8
Showing 1 changed file with 3 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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")

0 comments on commit 52f8ca8

Please sign in to comment.