diff --git a/404.html b/404.html new file mode 100644 index 000000000000..929fc572ae3e --- /dev/null +++ b/404.html @@ -0,0 +1,9 @@ +--- +layout: page +permalink: /404.html +title: "Page not found" +description: "Looks like there has been a mistake. Nothing exists here." +redirect: true +--- + +
You will be redirected to the main page within 3 seconds. If not redirected, please click here.
diff --git a/_layouts/default.html b/_layouts/default.html index b0aa49b6b85c..8e0d8ec57557 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -2,6 +2,7 @@ + {% if page.redirect %}{% endif %} {% include head.html %} {% include scripts/mathjax.html %}