diff -r e999256385bd -r bf6f0ded6071 Documentation/Source/eric5.Plugins.PluginSyntaxChecker.html
--- a/Documentation/Source/eric5.Plugins.PluginSyntaxChecker.html Sat Feb 02 18:34:31 2013 +0100
+++ b/Documentation/Source/eric5.Plugins.PluginSyntaxChecker.html Sat Feb 02 19:15:52 2013 +0100
@@ -1,7 +1,8 @@
-<!DOCTYPE html>
+<?xml version="1.0" encoding="utf-8"?>
+<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Strict//EN'
+'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd'>
<html><head>
<title>eric5.Plugins.PluginSyntaxChecker</title>
-<meta charset="UTF-8">
<style>
body {
background: #EDECE6;
