[eacot] (2) oops, moved the </pre> end tag to the wrong place

git-svn-id: http://svn.whatwg.org/webapps@627 340c8d12-0b0e-0410-8428-c7bf67bfef74
whatwg · Feb 27, 2007 · 3df6887 · 3df6887
1 parent 95ba9a8
commit 3df6887
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 8 deletions.
diff --git a/index b/index
@@ -27236,13 +27236,14 @@ http://developer.apple.com/documentation/AppleApplications/Conceptual/SafariJSPr
                             followed by a U+000A LINE FEED character
                             | a single U+000D CARRIAGE RETURN character
                             | a single U+000A LINE FEED character
-                            | the end of the file</pre>
-
-  <p>&lt;name-start-char&gt; ::= a single Unicode character other than ':',
-   ';', U+000D CARRIAGE RETURN and U+000A LINE FEED &lt;name-char&gt; ::= a
-   single Unicode character other than ':', U+000D CARRIAGE RETURN and U+000A
-   LINE FEED &lt;char&gt; ::= a single Unicode character other than U+000D
-   CARRIAGE RETURN and U+000A LINE FEED
+                            | the end of the file
+&lt;name-start-char&gt; ::= a single Unicode character other than
+                            ':', ';', U+000D CARRIAGE RETURN and U+000A LINE FEED
+&lt;name-char&gt;       ::= a single Unicode character other than
+                            ':', U+000D CARRIAGE RETURN and U+000A LINE FEED
+&lt;char&gt;            ::= a single Unicode character other than
+                            U+000D CARRIAGE RETURN and U+000A LINE FEED
+</pre>
 
   <p>Event streams in this format must always be encoded as UTF-8. Lines must
    be separated by either a U+000D CARRIAGE RETURN U+000A LINE FEED (CRLF)

diff --git a/source b/source
@@ -24966,13 +24966,14 @@ http://developer.apple.com/documentation/AppleApplications/Conceptual/SafariJSPr
                             followed by a U+000A LINE FEED character
                             | a single U+000D CARRIAGE RETURN character
                             | a single U+000A LINE FEED character
-                            | the end of the file</pre>
+                            | the end of the file
 &lt;name-start-char&gt; ::= a single Unicode character other than
                             ':', ';', U+000D CARRIAGE RETURN and U+000A LINE FEED
 &lt;name-char&gt;       ::= a single Unicode character other than
                             ':', U+000D CARRIAGE RETURN and U+000A LINE FEED
 &lt;char&gt;            ::= a single Unicode character other than
                             U+000D CARRIAGE RETURN and U+000A LINE FEED
+</pre>
 
   <p>Event streams in this format must always be encoded as
   UTF-8. Lines must be separated by either a U+000D CARRIAGE RETURN