diff options
| author | Ian2020 <Ian2020@users.noreply.github.com> | 2020-04-28 16:02:46 +0100 |
|---|---|---|
| committer | Ian2020 <Ian2020@users.noreply.github.com> | 2020-04-28 16:02:46 +0100 |
| commit | 76cd6b0f92e7e3baffe0dc83c6d8a75ccb517a1f (patch) | |
| tree | f3695a6ae5ff022404ac98802ebfc965ebe1b7a8 | |
| parent | 47d941b491844153304b3c87664f847df9d5dae4 (diff) | |
| download | ale-76cd6b0f92e7e3baffe0dc83c6d8a75ccb517a1f.zip | |
Fix documentation oversights
| -rw-r--r-- | doc/ale-bats.txt | 2 | ||||
| -rw-r--r-- | doc/ale.txt | 2 |
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| |