aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-04-08 15:18:00 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2019-04-08 15:18:00 -0700
commit586b0107ea297debef5d5bc3f7bb83794c581123 (patch)
tree70d313e84ebcac6dd095f486f7e0bef8fda8d0d9 /tools
parente3317c5ea38f4b4580dbb08a1be06d17110a6b6c (diff)
make_spec.lua - use unsafe mode so HTML isn't filtered out.
Diffstat (limited to 'tools')
-rw-r--r--tools/make_spec.lua4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/make_spec.lua b/tools/make_spec.lua
index 144a5af..641bf58 100644
--- a/tools/make_spec.lua
+++ b/tools/make_spec.lua
@@ -31,7 +31,7 @@ local extract_references = function(doc)
((node_type == cmark.NODE_LINK and cmark.node_get_url(cur) == '@') or
node_type == cmark.NODE_HEADING) then
local child = cmark.node_first_child(cur)
- local label = trim(cmark.render_commonmark(child, OPT_DEFAULT, 0))
+ local label = trim(cmark.render_commonmark(child, OPT_DEFAULT + OPT_UNSAFE, 0))
local ident = to_identifier(label)
if refs[label] then
warn("duplicate reference " .. label)
@@ -119,7 +119,7 @@ local create_anchors = function(doc, meta, to)
local anchor
local child = cmark.node_first_child(cur)
- local label = trim(cmark.render_commonmark(child, OPT_DEFAULT, 0))
+ local label = trim(cmark.render_commonmark(child, OPT_DEFAULT + OPT_UNSAFE, 0))
local ident = to_identifier(label)
if node_type == cmark.NODE_LINK then
if format == 'latex' then