From 489b7d64e4a22492e94a18fe5a05703735e63afc Mon Sep 17 00:00:00 2001
From: Bartek thindil Jasicki <thindil@laeran.pl>
Date: Fri, 11 Oct 2019 09:55:05 +0200
Subject: [PATCH] updated documentation

---
 doc/ale-ada.txt                           | 11 +++++++++++
 doc/ale-supported-languages-and-tools.txt |  1 +
 doc/ale.txt                               |  1 +
 supported-tools.md                        |  1 +
 4 files changed, 14 insertions(+)

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