From d8d48b7a8ce12605378fba6391348b99e8a7a4c1 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Mon, 24 Oct 2022 06:26:20 +0000
Subject: [PATCH] docs: update server_configurations.md skip-checks: true

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

diff --git a/doc/server_configurations.md b/doc/server_configurations.md
index 4142fd41a6..98f4991d5c 100644
--- a/doc/server_configurations.md
+++ b/doc/server_configurations.md
@@ -31,6 +31,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running
 - [cssls](#cssls)
 - [cssmodules_ls](#cssmodules_ls)
 - [cucumber_language_server](#cucumber_language_server)
+- [dafny](#dafny)
 - [dagger](#dagger)
 - [dartls](#dartls)
 - [denols](#denols)
@@ -1286,6 +1287,37 @@ require'lspconfig'.cucumber_language_server.setup{}
   ```
 
 
+## dafny
+
+    NeoVim support for the Dafny language server.
+    Please follow the instructions and compile the language server from source:
+    https://github.com/dafny-lang/language-server-csharp
+
+    Note that there is no default cmd set. You must set it yourself. The recommended way is to use `{"dotnet", "<Path to your language server>"}`.
+
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.dafny.setup{}
+```
+
+
+**Default values:**
+  - `filetypes` : 
+  ```lua
+  { "dfy", "dafny" }
+  ```
+  - `root_dir` : 
+  ```lua
+  see source file
+  ```
+  - `single_file_support` : 
+  ```lua
+  true
+  ```
+
+
 ## dagger
 
 https://github.com/dagger/cuelsp
diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt
index 4142fd41a6..98f4991d5c 100644
--- a/doc/server_configurations.txt
+++ b/doc/server_configurations.txt
@@ -31,6 +31,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running
 - [cssls](#cssls)
 - [cssmodules_ls](#cssmodules_ls)
 - [cucumber_language_server](#cucumber_language_server)
+- [dafny](#dafny)
 - [dagger](#dagger)
 - [dartls](#dartls)
 - [denols](#denols)
@@ -1286,6 +1287,37 @@ require'lspconfig'.cucumber_language_server.setup{}
   ```
 
 
+## dafny
+
+    NeoVim support for the Dafny language server.
+    Please follow the instructions and compile the language server from source:
+    https://github.com/dafny-lang/language-server-csharp
+
+    Note that there is no default cmd set. You must set it yourself. The recommended way is to use `{"dotnet", "<Path to your language server>"}`.
+
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.dafny.setup{}
+```
+
+
+**Default values:**
+  - `filetypes` : 
+  ```lua
+  { "dfy", "dafny" }
+  ```
+  - `root_dir` : 
+  ```lua
+  see source file
+  ```
+  - `single_file_support` : 
+  ```lua
+  true
+  ```
+
+
 ## dagger
 
 https://github.com/dagger/cuelsp