From 6d25cf12a0e8321fee48a67347a5bf29a411b6a8 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 2 Oct 2024 05:44:07 +0000
Subject: [PATCH] docs: update configs.md skip-checks: true

---
 doc/configs.md  | 32 ++++++++++++++++++++++++++++++++
 doc/configs.txt | 32 ++++++++++++++++++++++++++++++++
 2 files changed, 64 insertions(+)

diff --git a/doc/configs.md b/doc/configs.md
index 8ea0ba260a..3a8650da19 100644
--- a/doc/configs.md
+++ b/doc/configs.md
@@ -325,6 +325,7 @@ Nvim by running `:help lspconfig-all`.
 - [visualforce_ls](#visualforce_ls)
 - [vls](#vls)
 - [volar](#volar)
+- [vscoqtop](#vscoqtop)
 - [vtsls](#vtsls)
 - [vuels](#vuels)
 - [wgsl_analyzer](#wgsl_analyzer)
@@ -13703,6 +13704,37 @@ require'lspconfig'.volar.setup{}
   ```
 
 
+## vscoqtop
+
+https://github.com/coq-community/vscoq
+
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.vscoqtop.setup{}
+```
+
+
+**Default values:**
+  - `cmd` : 
+  ```lua
+  { "vscoqtop" }
+  ```
+  - `filetypes` : 
+  ```lua
+  { "coq" }
+  ```
+  - `root_dir` : 
+  ```lua
+  see source file
+  ```
+  - `single_file_support` : 
+  ```lua
+  true
+  ```
+
+
 ## vtsls
 
 https://github.com/yioneko/vtsls
diff --git a/doc/configs.txt b/doc/configs.txt
index 8ea0ba260a..3a8650da19 100644
--- a/doc/configs.txt
+++ b/doc/configs.txt
@@ -325,6 +325,7 @@ Nvim by running `:help lspconfig-all`.
 - [visualforce_ls](#visualforce_ls)
 - [vls](#vls)
 - [volar](#volar)
+- [vscoqtop](#vscoqtop)
 - [vtsls](#vtsls)
 - [vuels](#vuels)
 - [wgsl_analyzer](#wgsl_analyzer)
@@ -13703,6 +13704,37 @@ require'lspconfig'.volar.setup{}
   ```
 
 
+## vscoqtop
+
+https://github.com/coq-community/vscoq
+
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.vscoqtop.setup{}
+```
+
+
+**Default values:**
+  - `cmd` : 
+  ```lua
+  { "vscoqtop" }
+  ```
+  - `filetypes` : 
+  ```lua
+  { "coq" }
+  ```
+  - `root_dir` : 
+  ```lua
+  see source file
+  ```
+  - `single_file_support` : 
+  ```lua
+  true
+  ```
+
+
 ## vtsls
 
 https://github.com/yioneko/vtsls