updated documentation

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:

doc/ale-supported-languages-and-tools.txt

@@ -15,6 +15,7 @@ Notes:
 * Ada
   * `gcc`
   * `gnatpp`
+  * `ada_language_server`
 * Ansible
   * `ansible-lint`
 * API Blueprint

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|

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