Add 404 redirect to latest docs

gselzer · gselzer · commit 7090a41fddb4 · 2024-05-21T18:20:04.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,7 @@
+<!DOCTYPE html>
+<html>
+<head>
+    <!-- HACK: Temporarily redirect to the latest documentation -->
+    <meta http-equiv="refresh" content="0; URL=https://ops.scijava.org" />
+</head>
+</html>
