html5/spec/tools spec-splitter.py,1.3,1.4

Update of /sources/public/html5/spec/tools
In directory hutz:/tmp/cvs-serv32437

Modified Files:
	spec-splitter.py 
Log Message:
make the spec splitter always use HTML4 doctype

Index: spec-splitter.py
===================================================================
RCS file: /sources/public/html5/spec/tools/spec-splitter.py,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- spec-splitter.py	22 Jul 2009 14:09:22 -0000	1.3
+++ spec-splitter.py	4 Mar 2010 07:12:15 -0000	1.4
@@ -238,10 +238,7 @@
 # Output all the pages
 for name, doc, title in pages:
     f = open('%s/%s' % (file_args[1], get_page_filename(name)), 'w')
-    if w3c:
-        f.write('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">\n')
-    else:
-        f.write('<!DOCTYPE HTML>\n')
+    f.write('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">\n')
     if use_html5lib_serialiser:
         tokens = html5lib.treewalkers.getTreeWalker('lxml')(doc)
         serializer = html5lib.serializer.HTMLSerializer(quote_attr_values=True, inject_meta_charset=False)

Received on Thursday, 4 March 2010 07:12:20 UTC