From 309188f1a732a22183c6b94e3d95285a77725a5a Mon Sep 17 00:00:00 2001
From: Ian Hickson <ian@hixie.ch>
Date: Fri, 21 Jul 2006 03:55:56 +0000
Subject: [PATCH] Fix </html> handling

git-svn-id: http://svn.whatwg.org/webapps@89 340c8d12-0b0e-0410-8428-c7bf67bfef74
---
 index  | 8 +++++---
 source | 9 ++++++++-
 2 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/index b/index
index 1385861ce35..ddc19f279a9 100644
--- a/index
+++ b/index
@@ -24,7 +24,7 @@
 
    <h1 id="web-applications">Web Applications 1.0</h1>
 
-   <h2 class="no-num no-toc" id="working">Working Draft &mdash; 20 July 2006</h2>
+   <h2 class="no-num no-toc" id="working">Working Draft &mdash; 21 July 2006</h2>
 
    <p>You can take part in this work. <a
     href="http://www.whatwg.org/mailing-list">Join the working group's
@@ -19574,8 +19574,8 @@ function receiver(e) {
        <dt>An end tag with the tag name "html"
 
        <dd>
-        <p>Switch to <span><a href="#the-trailing1">the trailing end
-         phase</a></span>.</p>
+        <p>Act as if a start tag token with the tag name "head" and no
+         attributes had been seen, then reprocess the current token.</p>
 
        <dt>Any other end tag
 
@@ -19907,6 +19907,8 @@ function receiver(e) {
         <p>Change the <span><a href="#insertion">insertion mode</a></span> to
          "after body".</p>
 
+       <dt>An end tag with the tag name "html"
+
        <dt>An end-of-file token
 
        <dd>
diff --git a/source b/source
index 15f33331f9f..1b039d4acf1 100644
--- a/source
+++ b/source
@@ -17674,7 +17674,11 @@ function receiver(e) {
 
        <dt>An end tag with the tag name "html"</dt>
        <dd>
-        <p>Switch to <span>the trailing end phase</span>.</p>
+
+        <p>Act as if a start tag token with the tag name "head" and no
+        attributes had been seen, then reprocess the current
+        token.</p>
+
        </dd>
 
        <dt>Any other end tag</dt>
@@ -17861,7 +17865,9 @@ function receiver(e) {
 
        <dt>An end tag with the tag name "html"</dt>
        <dd>
+
         <p>Act as described in the "anything else" entry below.</p>
+
        </dd>
 
        <dt>A start tag with the tag name "head"</dt>
@@ -18011,6 +18017,7 @@ function receiver(e) {
         <p>Change the <span>insertion mode</span> to "after body".</p>
        </dd>
 
+       <dt>An end tag with the tag name "html"</dt>
        <dt>An end-of-file token</dt>
        <dd>
         <p>Act as if an end tag with tag name "body" had been seen,