Update to HTML 4.01 doctype.

16 years ago · 0dbf99da69
parent 16c5e31280
commit 0dbf99da69
2 changed files with 3 additions and 3 deletions
--- a/doc/reference.html
+++ b/doc/reference.html
@ -1,4 +1,4 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/REC-html4/loose.dtd">
 <html>
 <head>
 <title>Documentation</title>
--- a/mxmldoc.c
+++ b/mxmldoc.c
@ -3735,8 +3735,8 @@ write_html_head(FILE       *out,	/* I - Output file */
                const char *title,	/* I - Title */
 		const char *cssfile)	/* I - Stylesheet */
 {
-  fputs("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" "
-        "\"http://www.w3.org/TR/REC-html40/loose.dtd\">\n"
+  fputs("<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01 Transitional//EN\" "
+        "\"http://www.w3.org/TR/REC-html4/loose.dtd\">\n"
        "<html>\n", out);

  if (section)