summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSumner Evans <sumner.evans98@gmail.com>2017-10-24 17:14:42 -0600
committerSumner Evans <sumner.evans98@gmail.com>2017-10-24 17:14:42 -0600
commit780844ad73d2181db81371c360185a1e0ba0cc70 (patch)
treec638fcf255daaadcb49a436a923cc49545dd5c91 /doc
parentdb769fb060cd08bb1fd2135e77f21300ab4d445b (diff)
downloadale-780844ad73d2181db81371c360185a1e0ba0cc70.zip
#955 add documentation
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt
index 42f48b23..4bd8550d 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -266,7 +266,7 @@ Notes:
* LaTeX (tex): `chktex`, `lacheck`, `proselint`
* LLVM: `llc`
* Lua: `luacheck`
-* Mail: `proselint`
+* Mail: `proselint`, `vale`
* Make: `checkmake`
* Markdown: `mdl`, `proselint`, `vale`, `remark-lint`
* MATLAB: `mlint`