- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 04 Mar 2010 07:12:17 +0000
- To: public-html-commits@w3.org
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