diff options
| author | Martino Pilia <martino.pilia@gmail.com> | 2018-11-18 18:14:24 +0100 |
|---|---|---|
| committer | Martino Pilia <martino.pilia@gmail.com> | 2018-11-18 18:14:24 +0100 |
| commit | d90673ab5b40ec1ef79ab9e3eb0b1b7012425701 (patch) | |
| tree | a76f0fc2f9901267c2261afac7a4de50e52a00fb /doc/ale.txt | |
| parent | d30da203b91345b472e5d83f048bd42a6ca13804 (diff) | |
| download | ale-d90673ab5b40ec1ef79ab9e3eb0b1b7012425701.zip | |
Add GCC linter for Ada
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 85f6b6f8..de054e4d 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -21,6 +21,8 @@ CONTENTS *ale-contents* 6.1 Highlights........................|ale-highlights| 6.2 Options for write-good Linter.....|ale-write-good-options| 7. Integration Documentation............|ale-integrations| + ada...................................|ale-ada-options| + gcc.................................|ale-ada-gcc| ansible...............................|ale-ansible-options| ansible-lint........................|ale-ansible-ansible-lint| asciidoc..............................|ale-asciidoc-options| @@ -392,6 +394,7 @@ Notes: `^` No linters for text or Vim help filetypes are enabled by default. `!!` These linters check only files on disk. See |ale-lint-file-linters| +* Ada: `gcc` * ASM: `gcc` * Ansible: `ansible-lint` * API Blueprint: `drafter` |