From c378ab0406c8cef0d77b3928f7ffb68dd56d531a Mon Sep 17 00:00:00 2001
From: Peter Law <PeterJCLaw@gmail.com>
Date: Sun, 13 Oct 2019 15:38:49 +0100
Subject: [PATCH] Make our custom 404 page compatible with GitHub Pages

---
 missing.html => 404.html | 0
 _env/nginx.conf          | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename missing.html => 404.html (100%)

diff --git a/missing.html b/404.html
similarity index 100%
rename from missing.html
rename to 404.html
diff --git a/_env/nginx.conf b/_env/nginx.conf
index a3fc76c1..4f213857 100644
--- a/_env/nginx.conf
+++ b/_env/nginx.conf
@@ -177,7 +177,7 @@ http {
       index           index.html index.htm;
     }
 
-    error_page        404 /missing/index.html;
+    error_page        404 /404.html;
     error_page        500 502 503 504 /error/index.html;
   }
 }