From e3317c5ea38f4b4580dbb08a1be06d17110a6b6c Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 8 Apr 2019 12:36:32 -0700
Subject: Adopt make_spec.lua for lua 5.3 and new number type.

So we don't get `<h2.0>`.
---
 tools/make_spec.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/make_spec.lua b/tools/make_spec.lua
index acfdb61..144a5af 100644
--- a/tools/make_spec.lua
+++ b/tools/make_spec.lua
@@ -156,7 +156,7 @@ local create_anchors = function(doc, meta, to)
                                stop="}\\label{" .. ident .. "}}",
                                block = true})
         else
-          anchor = make_html_block('h' .. tostring(level),
+          anchor = make_html_block('h' .. tostring(math.floor(level)),
                       {{'id', ident},
                        {'href', '#'..ident},
                        {'class', 'definition'}})
-- 
cgit v1.2.3