diff --git a/doc/ale-ada.txt b/doc/ale-ada.txt index 2ac30c0a..c439d88a 100644 --- a/doc/ale-ada.txt +++ b/doc/ale-ada.txt @@ -32,5 +32,16 @@ g:ale_ada_gnatpp_options *g:ale_ada_gnatpp_options* This variable can be set to pass extra options to the gnatpp fixer. +=============================================================================== +Ada Language Server *ale-ada-lsp* + +g:ale_ada_lsp_executable *g:ale_ada_lsp_executable* + *b:ale_ada_lsp_executable* + Type: |String| + Default: `'ada_language_server'` + + This variable can be changed to use a different executable for Ada Language + Server. + =============================================================================== vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt index a5b7c35e..626ce260 100644 --- a/doc/ale-supported-languages-and-tools.txt +++ b/doc/ale-supported-languages-and-tools.txt @@ -15,6 +15,7 @@ Notes: * Ada * `gcc` * `gnatpp` + * `ada_language_server` * Ansible * `ansible-lint` * API Blueprint diff --git a/doc/ale.txt b/doc/ale.txt index c6e48043..96d9e603 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2106,6 +2106,7 @@ documented in additional help files. ada.....................................|ale-ada-options| gcc...................................|ale-ada-gcc| gnatpp................................|ale-ada-gnatpp| + ada_language_server...................|ale-ada-lsp| ansible.................................|ale-ansible-options| ansible-lint..........................|ale-ansible-ansible-lint| asciidoc................................|ale-asciidoc-options| diff --git a/supported-tools.md b/supported-tools.md index e392f282..8a74b26e 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -24,6 +24,7 @@ formatting. * Ada * [gcc](https://gcc.gnu.org) * [gnatpp](https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ugn/gnat_utility_programs.html#the-gnat-pretty-printer-gnatpp) :floppy_disk: + * [ada_language_server](https://github.com/AdaCore/ada_language_server) * Ansible * [ansible-lint](https://github.com/willthames/ansible-lint) * API Blueprint