10000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
create_index_file
1 parent 22a34dc commit 0dfccf0Copy full SHA for 0dfccf0
build.py
@@ -23,14 +23,11 @@ def create_parser():
23
return parser.parse_args()
24
25
26
-def create_index_file(html_content: Path):
27
- pep_zero_html = html_content / "pep-0000.html"
28
- pep_zero_dir = html_content / "pep-0000" / "index.html"
29
-
30
- if pep_zero_html.is_file():
31
- shutil.copy(pep_zero_html, html_content / "index.html")
32
- elif pep_zero_dir.is_file():
33
- shutil.copy(pep_zero_dir, html_content / "index.html")
+def create_index_file(html_root: Path):
+ """Copies PEP 0 to the root index.html so that /peps/ works."""
+ pep_zero_path = html_root / "pep-0000" / "index.html"
+ if pep_zero_path.is_file():
+ shutil.copy(pep_zero_path, html_root / "index.html")
34
35
36
if __name__ == "__main__":
0 commit comments