- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 22 Jul 2009 14:09:24 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec/tools
In directory hutz:/tmp/cvs-serv2959/tools
Modified Files:
spec-splitter.py
Log Message:
[docbuild] sync up to Philip's latest, and add the doohickey that makes fragment links work as expected
Index: spec-splitter.py
===================================================================
RCS file: /sources/public/html5/spec/tools/spec-splitter.py,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- spec-splitter.py 18 Jul 2009 09:57:15 -0000 1.2
+++ spec-splitter.py 22 Jul 2009 14:09:22 -0000 1.3
@@ -157,11 +157,13 @@
title = getNodeText(heading)
name = heading.get('id')
if name == index_page: name = 'section-%s' % name
- print ' <%s> %s' % (heading.tag, name)
+ print ' <%s> %s - %s' % (heading.tag, name, title)
page = deepcopy(doc)
page_body = page.find('body')
+ page.find('//title').text = title + u' \u2014 HTML 5'
+
# Add the header
page_body.append(deepcopy(short_header))
@@ -250,7 +252,8 @@
# Generate the script to fix broken links
f = open('%s/fragment-links.js' % (file_args[1]), 'w')
-f.write('var fragment_links = { ' + ','.join("'%s':'%s'" % (k.replace("\\", "\\\\").replace("'", "\\'"), v) for (k,v) in id_pages.items()) + ' };\n')
+links = ','.join("'%s':'%s'" % (k.replace("\\", "\\\\").replace("'", "\\'"), v) for (k,v) in id_pages.items())
+f.write('var fragment_links = { ' + re.sub(r"([^\x20-\x7f])", lambda m: "\\u%04x" % ord(m.group(1)), links) + ' };\n')
f.write("""
var fragid = window.location.hash.substr(1);
if (!fragid) { /* handle section-foo.html links from the old multipage version, and broken foo.html from the new version */
Received on Wednesday, 22 July 2009 14:09:36 UTC