diff options
| author | Bartek thindil Jasicki <thindil@laeran.pl> | 2019-10-11 09:55:05 +0200 |
|---|---|---|
| committer | Bartek thindil Jasicki <thindil@laeran.pl> | 2019-10-11 09:55:05 +0200 |
| commit | 489b7d64e4a22492e94a18fe5a05703735e63afc (patch) | |
| tree | ee25ad465b286df1bbf91f949a8946d72d04800b | |
| parent | 87a0227d01df14c9de7d3469b54cb73a98511ae2 (diff) | |
| download | ale-489b7d64e4a22492e94a18fe5a05703735e63afc.zip | |
updated documentation
| -rw-r--r-- | doc/ale-ada.txt | 11 | ||||
| -rw-r--r-- | doc/ale-supported-languages-and-tools.txt | 1 | ||||
| -rw-r--r-- | doc/ale.txt | 1 | ||||
| -rw-r--r-- | supported-tools.md | 1 |
4 files changed, 14 insertions, 0 deletions
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 @@ -33,4 +33,15 @@ g:ale_ada_gnatpp_options *g:ale_ada_gnatpp_options* =============================================================================== +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 |