From da20ea45c477a11aa62ba32c0089ff174be76406 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Thu, 25 Mar 2021 02:09:15 +0100
Subject: Upgrade docs to HTML5. It's about time.

---
 doc/extensions.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/extensions.html')
diff --git a/doc/extensions.html b/doc/extensions.html
index be7e66d8..77cf444c 100644
--- a/doc/extensions.html
+++ b/doc/extensions.html
@@ -1,8 +1,8 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<!DOCTYPE html>
 <html>
 <head>
 <title>Extensions</title>
-<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
+<meta charset="utf-8">
 <meta name="Copyright" content="Copyright (C) 2005-2021">
 <meta name="Language" content="en">
 <link rel="stylesheet" type="text/css" href="bluequad.css" media="screen">
-- 
cgit v1.2.3-55-g6feb

