From 13bdf8d6a9a1bde19e37111d4db0115a95848aee Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 18 Nov 2025 17:33:05 +0000
Subject: docs: update configs.md skip-checks: true

---
 doc/configs.md  | 42 ++++++------------------------------------
 doc/configs.txt | 38 ++++++--------------------------------
 2 files changed, 12 insertions(+), 68 deletions(-)

(limited to 'doc')

diff --git a/doc/configs.md b/doc/configs.md
index f62bc117..988afd61 100644
--- a/doc/configs.md
+++ b/doc/configs.md
@@ -168,7 +168,6 @@ Nvim by running `:help lspconfig-all`.
 - [kulala_ls](#kulala_ls)
 - [laravel_ls](#laravel_ls)
 - [lean3ls](#lean3ls)
-- [leanls](#leanls)
 - [lelwel_ls](#lelwel_ls)
 - [lemminx](#lemminx)
 - [lexical](#lexical)
@@ -2404,11 +2403,11 @@ Default config:
   {
     editorInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     editorPluginInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     }
   }
   ```
@@ -4847,20 +4846,20 @@ Default config:
   {
     editorInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     editorPluginInfo = {
       name = "Neovim LSP",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     extension = {
       name = "Neovim LSP Client",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     ide = {
       name = "Neovim",
       vendor = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     }
   }
   ```
@@ -6540,35 +6539,6 @@ Default config:
 
 ---
 
-## leanls
-
-https://github.com/leanprover/lean4
-
-Lean installation instructions can be found
-[here](https://leanprover-community.github.io/get_started.html#regular-install).
-
-The Lean language server is included in any Lean installation and
-does not require any additional packages.
-
-Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
-that plugin fully handles the setup of the Lean language server,
-and you shouldn't set up `leanls` both with it and `lspconfig`.
-
-Snippet to enable the language server:
-```lua
-vim.lsp.enable('leanls')
-```
-
-Default config:
-- `cmd`: [../lsp/leanls.lua:15](../lsp/leanls.lua#L15)
-- `filetypes` :
-  ```lua
-  { "lean" }
-  ```
-- `root_dir`: [../lsp/leanls.lua:15](../lsp/leanls.lua#L15)
-
----
-
 ## lelwel_ls
 
 https://github.com/0x2a-42/lelwel
diff --git a/doc/configs.txt b/doc/configs.txt
index 391325fb..9632cd15 100644
--- a/doc/configs.txt
+++ b/doc/configs.txt
@@ -1572,11 +1572,11 @@ Default config:
   {
     editorInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     editorPluginInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     }
   }
 - on_attach (use "gF" to view): ../lsp/copilot.lua:106
@@ -3443,20 +3443,20 @@ Default config:
   {
     editorInfo = {
       name = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     editorPluginInfo = {
       name = "Neovim LSP",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     extension = {
       name = "Neovim LSP Client",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     },
     ide = {
       name = "Neovim",
       vendor = "Neovim",
-      version = "0.12.0-dev+g1be37c245f"
+      version = "0.12.0-dev+g4b8980949c"
     }
   }
 - on_attach (use "gF" to view): ../lsp/gitlab_duo.lua:317
@@ -4735,32 +4735,6 @@ Default config:
 - root_dir (use "gF" to view): ../lsp/lean3ls.lua:18
 <
 
-------------------------------------------------------------------------------
-leanls
-
-https://github.com/leanprover/lean4
-
-Lean installation instructions can be found
-[here](https://leanprover-community.github.io/get_started.html#regular-install).
-
-The Lean language server is included in any Lean installation and
-does not require any additional packages.
-
-Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
-that plugin fully handles the setup of the Lean language server,
-and you shouldn't set up `leanls` both with it and `lspconfig`.
-
-Snippet to enable the language server: >lua
-  vim.lsp.enable('leanls')
-
-
-Default config:
-- cmd (use "gF" to view): ../lsp/leanls.lua:15
-- filetypes: >lua
-  { "lean" }
-- root_dir (use "gF" to view): ../lsp/leanls.lua:15
-<
-
 ------------------------------------------------------------------------------
 lelwel_ls
 
-- 
cgit v1.2.3-70-g09d2