html: Add punctuation to comment.

This commit is contained in:
David Thompson 2015-07-26 22:29:57 -04:00
parent d919b527fc
commit 75430def43
1 changed files with 1 additions and 1 deletions

View File

@ -113,7 +113,7 @@ list ATTRS and the child nodes in BODY."
(() *unspecified*) (() *unspecified*)
(('doctype type) (('doctype type)
(doctype->html type port)) (doctype->html type port))
;; Unescaped, raw HTML output ;; Unescaped, raw HTML output.
(('raw html) (('raw html)
(display html port)) (display html port))
(((? symbol? tag) ('@ attrs ...) body ...) (((? symbol? tag) ('@ attrs ...) body ...)