diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/make_spec.lua | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/make_spec.lua b/tools/make_spec.lua index 05a1270..c247142 100644 --- a/tools/make_spec.lua +++ b/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'}}) |