diff options
Diffstat (limited to 'script/vm/docs.lua')
| -rw-r--r-- | script/vm/docs.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/script/vm/docs.lua b/script/vm/docs.lua index 95cb4127..df87d46a 100644 --- a/script/vm/docs.lua +++ b/script/vm/docs.lua @@ -1,5 +1,4 @@ local files = require 'files' -local await = require 'await' local noder = require 'core.noder' local docsMap = {} @@ -25,7 +24,8 @@ local function pushDocs(uri) end local nodes = noder.compileNodes(state.ast) for id in pairs(nodes) do - if id:sub(1, 3) == 'dn:' then + if id:sub(1, 3) == 'dn:' + and noder.getFirstID(id) == id then if not docsMap[id] then docsMap[id] = {} end |