diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2025-04-12 19:40:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-12 19:40:01 -0700 |
| commit | ecb74c22b4a6c41162153f77e73d4ef645fedfa0 (patch) | |
| tree | af9ad45b7af4c1b3fa736a359832c86fb88743c3 /lsp/fstar.lua | |
| parent | feat(typos-lsp): support pyproject.toml and Cargo.toml #3707 (diff) | |
| download | nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.tar nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.tar.gz nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.tar.bz2 nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.tar.lz nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.tar.xz nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.tar.zst nvim-lspconfig-ecb74c22b4a6c41162153f77e73d4ef645fedfa0.zip | |
fix(docs): docgen.lua reads from `lua/*.lua` #3708
Problem:
Since configs now live in `lsp/`, the docgen needs to be updated.
Solution:
Read the configs from `lsp/`. Parse the `@brief` docstring to get the
docs.
Diffstat (limited to 'lsp/fstar.lua')
| -rw-r--r-- | lsp/fstar.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lsp/fstar.lua b/lsp/fstar.lua index 340dd21c..4010873e 100644 --- a/lsp/fstar.lua +++ b/lsp/fstar.lua @@ -1,6 +1,6 @@ ---@brief --- ----https://github.com/FStarLang/FStar +-- https://github.com/FStarLang/FStar -- -- LSP support is included in FStar. Make sure `fstar.exe` is in your PATH. return { |