diff options
| -rw-r--r-- | doc/ale-ada.txt | 2 | ||||
| -rw-r--r-- | doc/ale-supported-languages-and-tools.txt | 2 | ||||
| -rw-r--r-- | doc/ale.txt | 2 | ||||
| -rw-r--r-- | supported-tools.md | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/doc/ale-ada.txt b/doc/ale-ada.txt index c439d88a..325bbea8 100644 --- a/doc/ale-ada.txt +++ b/doc/ale-ada.txt @@ -33,7 +33,7 @@ g:ale_ada_gnatpp_options *g:ale_ada_gnatpp_options* =============================================================================== -Ada Language Server *ale-ada-lsp* +Ada Language Server *ale-ada-ada_language_server* g:ale_ada_lsp_executable *g:ale_ada_lsp_executable* *b:ale_ada_lsp_executable* diff --git a/doc/ale-supported-languages-and-tools.txt b/doc/ale-supported-languages-and-tools.txt index 626ce260..a9bd47d0 100644 --- a/doc/ale-supported-languages-and-tools.txt +++ b/doc/ale-supported-languages-and-tools.txt @@ -13,9 +13,9 @@ Notes: `!!` These linters check only files on disk. See |ale-lint-file-linters| * Ada + * `ada_language_server` * `gcc` * `gnatpp` - * `ada_language_server` * Ansible * `ansible-lint` * API Blueprint diff --git a/doc/ale.txt b/doc/ale.txt index 96d9e603..f275266b 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2106,7 +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| + ada_language_server...................|ale-ada-ada_language_server| 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 8a74b26e..b28685bd 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -22,9 +22,9 @@ formatting. --- * Ada + * [ada_language_server](https://github.com/AdaCore/ada_language_server) * [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 |