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, andReceived 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