diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-04-08 15:18:00 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-04-08 15:18:00 -0700 |
| commit | 586b0107ea297debef5d5bc3f7bb83794c581123 (patch) | |
| tree | 70d313e84ebcac6dd095f486f7e0bef8fda8d0d9 | |
| parent | e3317c5ea38f4b4580dbb08a1be06d17110a6b6c (diff) | |
make_spec.lua - use unsafe mode so HTML isn't filtered out.
| -rw-r--r-- | tools/make_spec.lua | 4 |
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 |