Simplify create_index_file

AA-Turner · AA-Turner · commit 5faec5d3d4f9 · 2021-05-07T16:03:35.000+01:00
diff --git a/build.py b/build.py
@@ -23,14 +23,10 @@ def create_parser():
     return parser.parse_args()
 
 
-def create_index_file(html_content: Path):
-    pep_zero_html = html_content / "pep-0000.html"
-    pep_zero_dir = html_content / "pep-0000" / "index.html"
-
-    if pep_zero_html.is_file():
-        shutil.copy(pep_zero_html, html_content / "index.html")
-    elif pep_zero_dir.is_file():
-        shutil.copy(pep_zero_dir, html_content / "index.html")
+def create_index_file(html_root: Path):
+    pep_zero_path = html_root / "pep-0000" / "index.html"
+    if pep_zero_path.is_file():
+        shutil.copy(pep_zero_path, html_root / "index.html")
 
 
 if __name__ == "__main__":
