Skip to content
Permalink
Browse files

Update make_spec.lua (#626)

Removes extraneous href attribute on headings.

fixes #625
  • Loading branch information
Crissov authored and jgm committed Dec 16, 2019
1 parent 613a9af commit e4618d1f3db70710b81b77e0fe98a734d6c90c06
Showing with 0 additions and 1 deletion.
  1. +0 −1 tools/make_spec.lua
@@ -168,7 +168,6 @@ local create_anchors = function(doc, meta, to)
else
anchor = make_html_block('h' .. tostring(math.floor(level)),
{{'id', ident},
{'href', '#'..ident},
{'class', 'definition'}})
if num ~= '' then
local numspan = make_html_inline('span', {{'class','number'}})

0 comments on commit e4618d1

Please sign in to comment.
You can’t perform that action at this time.