summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/ale-bats.txt2
-rw-r--r--doc/ale.txt2
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/ale-bats.txt b/doc/ale-bats.txt
index 2ad98402..8554d186 100644
--- a/doc/ale-bats.txt
+++ b/doc/ale-bats.txt
@@ -1,5 +1,5 @@
===============================================================================
-ALE Bats Integration *ale-bats-options*
+ALE Bats Integration *ale-bats-options*
===============================================================================
diff --git a/doc/ale.txt b/doc/ale.txt
index 16b204a4..acca23f8 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -2279,6 +2279,8 @@ documented in additional help files.
gcc...................................|ale-asm-gcc|
awk.....................................|ale-awk-options|
gawk..................................|ale-awk-gawk|
+ bats....................................|ale-bats-options|
+ shellcheck............................|ale-bats-shellcheck|
bib.....................................|ale-bib-options|
bibclean..............................|ale-bib-bibclean|
c.......................................|ale-c-options|