From 2fd443bc5c1717327a26c7c9646b2fa306d5a0fd Mon Sep 17 00:00:00 2001
From: Hirokazu Hata <h.hata.ai.t@gmail.com>
Date: Mon, 18 May 2020 23:50:37 +0900
Subject: docgen: use package.json url instead of VSCode extension name

VSCode extensions are so large size and we offten get a network error with downloading them.
So we had better to directory download package.json.
---
 lua/nvim_lsp/leanls.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lua/nvim_lsp/leanls.lua')

diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua
index 13400297..894f318b 100644
--- a/lua/nvim_lsp/leanls.lua
+++ b/lua/nvim_lsp/leanls.lua
@@ -8,7 +8,7 @@ configs.leanls = {
     root_dir = util.root_pattern(".git");
   };
   docs = {
-    vscode = "jroesch.lean";
+    package_json = "https://raw.githubusercontent.com/leanprover/vscode-lean/master/package.json";
     description = [[
 https://github.com/leanprover/lean-client-js/tree/master/lean-language-server
 
-- 
cgit v1.2.3-70-g09d2