Treat <head> as block-level HTML tag. [jgm/peg-markdown]

See https://github.com/jgm/peg-markdown/commit/2a009eb
2013-03-05 20:20:39 +01:00 · 2013-03-05 20:20:39 +01:00 · 7e6639da75
commit 7e6639da75
parent 4fe196d324
2 changed files with 5 additions and 1 deletions
--- a/parser.leg
+++ b/parser.leg
@ -399,6 +399,9 @@ HtmlBlockOpenScript = '<' Spnl ("script" | "SCRIPT") Spnl HtmlAttribute* '>'
 HtmlBlockCloseScript = '<' Spnl '/' ("script" | "SCRIPT") Spnl '>'
 HtmlBlockScript = HtmlBlockOpenScript (!HtmlBlockCloseScript .)* HtmlBlockCloseScript

+HtmlBlockOpenHead = '<' Spnl ("head" | "HEAD") Spnl HtmlAttribute* '>'
+HtmlBlockCloseHead = '<' Spnl '/' ("head" | "HEAD") Spnl '>'
+HtmlBlockHead = HtmlBlockOpenHead (!HtmlBlockCloseHead .)* HtmlBlockCloseHead

 HtmlBlockInTags = HtmlBlockAddress
                | HtmlBlockBlockquote
@ -433,6 +436,7 @@ HtmlBlockInTags = HtmlBlockAddress
                | HtmlBlockThead
                | HtmlBlockTr
                | HtmlBlockScript
+                | HtmlBlockHead

 HtmlBlock = &'<' < ( HtmlBlockInTags | HtmlComment | HtmlBlockSelfClosing ) >
            BlankLine+
--- a/2
+++ b/2
@ -1 +1 @@
-207
+208