aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-01-03 18:28:03 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2015-01-03 18:28:03 -0800
commitfc75787ce3b927595eb7a5fd324e8bc0ad3c74a1 (patch)
tree908899754b5a6f3222d5a6d9d0eba6f18eb17524
parent7817cd7edd94b80e3d851189ad1290661e109c7c (diff)
spec: use HTML5 spec's rule for HTML comments.
-rw-r--r--spec.txt7
1 files changed, 4 insertions, 3 deletions
diff --git a/spec.txt b/spec.txt
index c9b147a..fa7e6a7 100644
--- a/spec.txt
+++ b/spec.txt
@@ -6743,9 +6743,10 @@ A [closing tag](@closing-tag) consists of the
string `</`, a [tag name](#tag-name), optional
[whitespace](#whitespace), and the character `>`.
-An [HTML comment](@html-comment) consists of the
-string `<!--`, a string of characters not including the string `--`, and
-the string `-->`.
+An [HTML comment](@html-comment) consists of `<!--` + *text* + `-->`,
+where *text* does not start with `>` or `->`, does not end with `-`,
+and does not contain `--`. (See the
+[HTML5 spec](http://www.w3.org/TR/html5/syntax.html#comments).)
A [processing instruction](@processing-instruction)
consists of the string `<?`, a string