Move 404 page in Makefile

Author: hugovk

.github/workflows/render.yml

@@ -42,9 +42,7 @@ jobs:
           python -m pip install --upgrade pip
 
       - name: Render PEPs
-        run: |
-          make dirhtml JOBS=$(nproc)
-          mv build/404/index.html build/404.html
+        run: make dirhtml JOBS=$(nproc)
 
         # remove the .doctrees folder when building for deployment as it takes two thirds of disk space
       - name: Clean up files

Makefile

@@ -40,6 +40,7 @@ htmllive: _ensure-sphinx-autobuild html
 .PHONY: dirhtml
 dirhtml: BUILDER = dirhtml
 dirhtml: html
+dirhtml: mv $(BUILDDIR)/404/index.html $(BUILDDIR)/404.html
 
 ## linkcheck      to check validity of links within PEP sources
 .PHONY: linkcheck