Update make-docs.sh to prevent HTML errors (#771)

GenkaOk · web-flow · commit d9ca04f553c0 · 2025-10-16T14:56:48.000-07:00
Fix 2 HTML errors:
1) Start tag seen without seeing a doctype first. Expected &lt;!DOCTYPE
html&gt;.
2) Element head is missing a required instance of child element title.
diff --git a/scripts/make-docs.sh b/scripts/make-docs.sh
@@ -39,9 +39,11 @@ fi
 echo '{}' > "$1/theme-settings.json"
 
 cat > "$1/index.html" <<'EOF'
+<!DOCTYPE html>
 <html lang="en-US">
   <head>
     <meta charset="utf-8">
+    <title>Redirecting...</title>
     <meta http-equiv="refresh" content="0; url=./documentation/">
   </head>
   <body>
