Switch to HTML5 doctype

13 years ago · f973da57a4
parent a073eb792f
commit f973da57a4
7 changed files with 7 additions and 14 deletions
--- a/about.html
+++ b/about.html
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
--- a/documentation.html
+++ b/documentation.html
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
--- a/download.html
+++ b/download.html
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
--- a/download.html.in
+++ b/download.html.in
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
--- a/faq.html
+++ b/faq.html
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
--- a/index.html
+++ b/index.html
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">
--- a/windows.html
+++ b/windows.html
@ -1,5 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+<!DOCTYPE html>
   "http://www.w3.org/TR/html4/strict.dtd">
 <html>
 <head>
 <meta http-equiv="Content-type" content="text/html;charset=UTF-8">