Merge remote-tracking branch 'upstream/master'

5 files changed, 92 insertions, 0 deletions

diff --git a/doc/ale-dafny.txt b/doc/ale-dafny.txt
new file mode 100644
index 00000000..005170ad
--- /dev/null
+++ b/doc/ale-dafny.txt
@@ -0,0 +1,16 @@
+===============================================================================
+ALE Dafny Integration                                       *ale-dafny-options*
+
+
+===============================================================================
+dafny                                                         *ale-dafny-dafny*
+
+g:ale_dafny_dafny_timelimit                       *g:ale_dafny_dafny_timelimit*
+                                                  *b:ale_dafny_dafny_timelimit*
+  Type: |Number|
+  Default: `10`
+
+  This variable sets the `/timeLimit` used for dafny.
+
+
+  vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
diff --git a/doc/ale-dhall.txt b/doc/ale-dhall.txt
new file mode 100644
index 00000000..44b0bf32
--- /dev/null
+++ b/doc/ale-dhall.txt
@@ -0,0 +1,52 @@
+===============================================================================
+ALE Dhall Integration                                       *ale-dhall-options*
+
+g:ale_dhall_executable                                 *g:ale_dhall_executable*
+                                                       *b:ale_dhall_executable*
+  Type: |String|
+  Default: `'dhall'`
+
+g:ale_dhall_options                                       g:ale_dhall_options
+                                                          b:ale_dhall_options
+  Type: |String|
+  Default: `''`
+
+  This variable can be set to pass additional options to the 'dhall` executable.
+  This is shared with `dhall-freeze` and `dhall-lint`.
+>
+  let g:dhall_options = '--ascii'
+<
+
+===============================================================================
+dhall-format                                                 *ale-dhall-format*
+
+Dhall
+  (https://dhall-lang.org/)
+
+
+===============================================================================
+dhall-freeze                                                 *ale-dhall-freeze*
+
+Dhall
+  (https://dhall-lang.org/)
+
+g:ale_dhall_freeze_options                         g:ale_dhall_freeze_options
+                                                   b:ale_dhall_freeze_options
+  Type: |String|
+  Default: `''`
+
+  This variable can be set to pass additional options to the 'dhall freeze`
+  executable.
+>
+  let g:dhall_freeze_options = '--all'
+<
+
+===============================================================================
+dhall-lint                                                     *ale-dhall-lint*
+
+Dhall
+  (https://dhall-lang.org/)
+
+
+===============================================================================
+  vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
diff --git a/doc/ale-elixir.txt b/doc/ale-elixir.txt
index de9daacf..a4e5c2c6 100644
--- a/doc/ale-elixir.txt
+++ b/doc/ale-elixir.txt
@@ -85,5 +85,12 @@ g:ale_elixir_credo_strict                           *g:ale_elixir_credo_strict*
   Tells credo to run in strict mode or suggest mode.  Set variable to 1 to
   enable --strict mode.
 
+g:ale_elixir_credo_config_file                 g:ale_elixir_credo_config_file
+
+  Type: String
+  Default: ''
+
+  Tells credo to use a custom configuration file.
+
 ===============================================================================
   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 5bbe6097..d06508c5 100644
--- a/doc/ale-supported-languages-and-tools.txt
+++ b/doc/ale-supported-languages-and-tools.txt
@@ -122,6 +122,8 @@ Notes:
   * `language_server`
 * Dhall
   * `dhall-format`
+  * `dhall-freeze`
+  * `dhall-lint`
 * Dockerfile
   * `dockerfile_lint`
   * `hadolint`
diff --git a/doc/ale.txt b/doc/ale.txt
index fe94baf2..ce01638f 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -1708,6 +1708,15 @@ g:ale_lsp_show_message_severity               *g:ale_lsp_show_message_severity*
   `'disabled'`    - Doesn't display any information at all.
 
 
+g:ale_lsp_suggestions                                   *g:ale_lsp_suggestions*
+
+  Type: |Number|
+  Default: 1
+
+  This variable defines if suggestions must be collected from LSP or tsserver
+  and shown.
+
+
 g:ale_lsp_root                                                 *g:ale_lsp_root*
                                                                *b:ale_lsp_root*
 
@@ -2653,9 +2662,15 @@ documented in additional help files.
     dfmt..................................|ale-d-dfmt|
     dls...................................|ale-d-dls|
     uncrustify............................|ale-d-uncrustify|
+  dafny...................................|ale-dafny-options|
+    dafny.................................|ale-dafny-dafny|
   dart....................................|ale-dart-options|
     dartanalyzer..........................|ale-dart-dartanalyzer|
     dartfmt...............................|ale-dart-dartfmt|
+  dhall...................................|ale-dhall-options|
+    dhall-format..........................|ale-dhall-format|
+    dhall-freeze..........................|ale-dhall-freeze|
+    dhall-lint............................|ale-dhall-lint|
   dockerfile..............................|ale-dockerfile-options|
     dockerfile_lint.......................|ale-dockerfile-dockerfile_lint|
     hadolint..............................|ale-dockerfile-hadolint|