From fc75787ce3b927595eb7a5fd324e8bc0ad3c74a1 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 3 Jan 2015 18:28:03 -0800
Subject: spec:  use HTML5 spec's rule for HTML comments.

---
 spec.txt | 7 ++++---
 1 file 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
-- 
cgit v1.2.3