diff options
author | Andreas <andreas.matthias@gmail.com> | 2024-02-15 18:01:12 +0100 |
---|---|---|
committer | Andreas <andreas.matthias@gmail.com> | 2024-02-15 23:16:11 +0100 |
commit | 76382f30684fc9486973d5f62d59613d24774d82 (patch) | |
tree | adc8ad6de6ed7d2f9559db2123c75270d56c8240 /script/global.d.lua | |
parent | a89b34399f1ca57f2f5473cf0b1977dfd3cd9799 (diff) | |
download | lua-language-server-76382f30684fc9486973d5f62d59613d24774d82.zip |
CLI option --doc_out_path <PATH>.
This CLI option specifies the output directory path for
documentation files (eg. 'doc.json').
Diffstat (limited to 'script/global.d.lua')
-rw-r--r-- | script/global.d.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/global.d.lua b/script/global.d.lua index b44d6371..cee9e01b 100644 --- a/script/global.d.lua +++ b/script/global.d.lua @@ -52,6 +52,10 @@ CHECK = '' ---@type string DOC = '' +--output directory path for documentation (doc.json, ...) +---@type string +DOC_OUT_PATH = '' + ---@type string | '"Error"' | '"Warning"' | '"Information"' | '"Hint"' CHECKLEVEL = 'Warning' |