docs: fix redirect

Author: MilesCranmer

docs/deploy.jl

@@ -179,6 +179,18 @@ bases_file = joinpath(dist_root, "bases.txt")
 println("Creating bases.txt with subfolder: $(deploy_decision.subfolder)")
 write(bases_file, "$(deploy_decision.subfolder)\n")
 
+# Create redirect index.html at root to redirect to dev
+# Only do this when deploying to dev (not for version tags)
+# Once there are tagged versions, DocumenterVitepress will handle this automatically
+if deploy_decision.subfolder == "dev"
+    redirect_html = """<!--This file is automatically generated by DocumenterVitepress.jl-->
+<meta http-equiv="refresh" content="0; url=./dev/"/>
+"""
+    redirect_file = joinpath(dist_root, "index.html")
+    println("Creating redirect index.html to ./dev/")
+    write(redirect_file, redirect_html)
+end
+
 if deployment_target == "secondary"
     # Secondary deployment to ai.damtp.cam.ac.uk
     println("Deploying to secondary repository (ai.damtp.cam.ac.uk)")