From 780844ad73d2181db81371c360185a1e0ba0cc70 Mon Sep 17 00:00:00 2001 From: Sumner Evans Date: Tue, 24 Oct 2017 17:14:42 -0600 Subject: #955 add documentation --- doc/ale.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/ale.txt') 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` -- cgit v1.2.3