[e] (0) tweaking production pipeline

git-svn-id: http://svn.whatwg.org/webapps@3424 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Jul 16, 2009 · 68047f2 · 68047f2
1 parent 879d77b
commit 68047f2
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 7 deletions.
diff --git a/index b/index
@@ -52094,7 +52094,6 @@ style/default.css</pre>
 
 
 
-
   <h3 id=links><span class=secno>6.12 </span>Links</h3>
 
 

diff --git a/source b/source
@@ -59351,7 +59351,7 @@ style/default.css</pre>
   </div>
 
 
-  <h3>Structured client-side storage</h3>  <!--START storage-->
+  <h3>Structured client-side storage</h3>  <!--START storage--><!--END html5-->
 
   <h4>Introduction</h4>
 
@@ -61050,6 +61050,7 @@ interface <dfn>SQLTransactionSync</dfn> {
 
   <!--END database-->
 
+  <!--START html5-->
 
 
   <h3 id="links">Links</h3>
@@ -66824,7 +66825,7 @@ XXX Once we resolve the style="" issue, address these:
 
 
 
-  <h2>Web Workers</h2> <!--START workers-->
+  <h2>Web Workers</h2> <!--START workers--><!--END html5-->
 
   <h3>Introduction</h3>
 
@@ -68510,7 +68511,7 @@ interface <dfn>SharedWorker</dfn> : <span>AbstractWorker</span> {
   being a no-op, since the attributes are defined to be readonly. <a
   href="#refsHTML5">[HTML5]</a></p>
 
-  <!--END workers-->
+  <!--END workers--><!--START html5-->
 
 
   <h2 id="comms">Communication</h2>
@@ -68640,7 +68641,7 @@ interface <dfn>SharedWorker</dfn> : <span>AbstractWorker</span> {
 
 
 
-  <h3 id="server-sent-events"><dfn>Server-sent events</dfn></h3> <!--START eventsource-->
+  <h3 id="server-sent-events"><dfn>Server-sent events</dfn></h3> <!--START eventsource--><!--END html5-->
 
   <h4 id="server-sent-events-intro">Introduction</h4>
 
@@ -69293,11 +69294,11 @@ data:&nbsp;test</pre>
   <p>If an <code>EventSource</code> object is garbage collected while
   its connection is still open, the connection must be closed.</p>
 
-  <!--END eventsource-->
+  <!--END eventsource--><!--START html5-->
 
 
 
-  <h3 id="network"><dfn>Web sockets</dfn></h3> <!--START websocket--><!--START websocket-api-->
+  <h3 id="network"><dfn>Web sockets</dfn></h3> <!--START websocket--><!--START websocket-api--><!--END html5-->
 
   <h4 id="network-intro">Introduction</h4>
 
@@ -70536,6 +70537,7 @@ Proxy-authorization: Basic ZWRuYW1vZGU6bm9jYXBlcyE=</pre>
 
   <!--END websocket-protocol-->
   <!--END websocket-->
+  <!--START html5-->
 
 
   <h3 id="crossDocumentMessages"><dfn>Cross-document messaging</dfn></h3>