- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 04 Mar 2010 15:14:54 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec/tools
In directory hutz:/tmp/cvs-serv11395/tools
Modified Files:
spec-splitter.py
Log Message:
tools/spec-splitter.py
Index: spec-splitter.py
===================================================================
RCS file: /sources/public/html5/spec/tools/spec-splitter.py,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- spec-splitter.py 4 Mar 2010 07:26:47 -0000 1.5
+++ spec-splitter.py 4 Mar 2010 15:14:52 -0000 1.6
@@ -194,10 +194,7 @@
head = doc.find('head')
- if w3c:
- nav = etree.Element('div') # HTML 4 compatibility
- else:
- nav = etree.Element('nav')
+ nav = etree.Element('div') # HTML 4 compatibility
nav.text = '\n '
nav.tail = '\n\n '
Received on Thursday, 4 March 2010 15:14:55 UTC