DOC: Add HTML5 doctype to redirect pages

QuLogic · QuLogic · commit a36e5a804a37 · 2022-08-16T17:05:47.000-04:00
Though these are not intended to be seen, this silences validators.
diff --git a/doc/sphinxext/redirect_from.py b/doc/sphinxext/redirect_from.py
@@ -15,6 +15,7 @@
 This creates in the build directory a file ``build/html/topic/old-page.html``
 that contains a relative refresh::
 
+    <!DOCTYPE html>
     <html>
       <head>
         <meta charset="utf-8">
@@ -39,7 +40,7 @@
 logger = logging.getLogger(__name__)
 
 
-HTML_TEMPLATE = """\
+HTML_TEMPLATE = """<!DOCTYPE html>
 <html>
   <head>
     <meta charset="utf-8">
