- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Sat, 18 Jul 2009 09:57:17 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec/tools
In directory hutz:/tmp/cvs-serv19337/tools
Modified Files:
spec-splitter.py
Log Message:
make the spec splitter do the right thing
Index: spec-splitter.py
===================================================================
RCS file: /sources/public/html5/spec/tools/spec-splitter.py,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- spec-splitter.py 18 Jul 2009 09:45:11 -0000 1.1
+++ spec-splitter.py 18 Jul 2009 09:57:15 -0000 1.2
@@ -42,7 +42,7 @@
if w3c:
index_page = 'Overview'
else:
- index_page = 'index'
+ index_page = 'spec'
# The document is split on all <h2> elements, plus the following specific elements
# (which were chosen to split any pages that were larger than about 100-200KB, and
Received on Saturday, 18 July 2009 09:57:27 UTC