Use simpler HTML5 doctype in the documentation index

Also don't pretend to be XML.
2016-03-03 22:17:22 +01:00
parent 6cd442fbaf
commit 9bbfbf821c
1 changed files with 2 additions and 3 deletions
--- a/docs/index.htm
+++ b/docs/index.htm
@@ -1,6 +1,5 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
+<!DOCTYPE html>
+<html>

 <!--
  Name:        index.htm