Add 404 redirect to latest docs

gselzer · gselzer · commit e604bf9647bb · 2024-05-21T17:40:02.000-05:00
diff --git a/docs/conf.py b/docs/conf.py
@@ -79,6 +79,8 @@ def setup(app):
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = []
 
+html_extra_path = ["ops/doc/404.html"]
+
 # Add the SciJava ops logo
 html_logo = "ops/images/scijava-ops.svg"
 html_theme_options = {
diff --git a/docs/ops/doc/404.html b/docs/ops/doc/404.html
@@ -0,0 +1,6 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <meta http-equiv="refresh" content="3; URL=https://ops.scijava.org" />
+</head>
+</html>

-Original file line number
+Diff line change
@@ @@ -0,0 +1,6 @@ @@
 +<!DOCTYPE html>
 +<html>
 +<head>
 +    <meta http-equiv="refresh" content="3; URL=https://ops.scijava.org" />
 +</head>
 +</html>