W3C home > Mailing lists > Public > public-html-commits@w3.org > July 2009

html5/spec/tools spec-splitter.py,1.1,1.2

From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
Date: Sat, 18 Jul 2009 09:57:17 +0000
To: public-html-commits@w3.org
Message-Id: <E1MS6fN-00054H-BH@lionel-hutz.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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 July 2009 09:57:27 GMT