version 1.95, 2010/01/30 08:42:20 |
version 1.96, 2010/02/17 19:48:33 |
Line 466 print_doctype(struct html *h) |
|
Line 466 print_doctype(struct html *h) |
|
{ |
{ |
const char *doctype; |
const char *doctype; |
const char *dtd; |
const char *dtd; |
|
const char *name; |
|
|
switch (h->type) { |
switch (h->type) { |
case (HTML_HTML_4_01_STRICT): |
case (HTML_HTML_4_01_STRICT): |
|
name = "HTML"; |
doctype = "-//W3C//DTD HTML 4.01//EN"; |
doctype = "-//W3C//DTD HTML 4.01//EN"; |
dtd = "http://www.w3.org/TR/html4/strict.dtd"; |
dtd = "http://www.w3.org/TR/html4/strict.dtd"; |
break; |
break; |
default: |
default: |
|
name = "html"; |
doctype = "-//W3C//DTD XHTML 1.0 Strict//EN"; |
doctype = "-//W3C//DTD XHTML 1.0 Strict//EN"; |
dtd = "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"; |
dtd = "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"; |
break; |
break; |
} |
} |
|
|
printf("<!DOCTYPE HTML PUBLIC \"%s\" \"%s\">\n", doctype, dtd); |
printf("<!DOCTYPE %s PUBLIC \"%s\" \"%s\">\n", |
|
name, doctype, dtd); |
} |
} |
|
|
|
|