summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorw0rp <devw0rp@gmail.com>2017-10-24 22:45:30 +0100
committerw0rp <devw0rp@gmail.com>2017-10-24 22:45:30 +0100
commit1a5ef969a528c037b865828dedcd482a51d0e004 (patch)
treeccc0ce9f1537df3bbf36a38463a8b84d1aeb3c4d /doc
parent1c56bebd7ca44d43badc9a63dd7dc4d88fd1b8b9 (diff)
parentd644dc797f74e446c3301292107ffaf6ed9a6121 (diff)
downloadale-1a5ef969a528c037b865828dedcd482a51d0e004.zip
Merge branch 'aurieh-master'
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt
index 68e71a66..42f48b23 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -267,6 +267,7 @@ Notes:
* LLVM: `llc`
* Lua: `luacheck`
* Mail: `proselint`
+* Make: `checkmake`
* Markdown: `mdl`, `proselint`, `vale`, `remark-lint`
* MATLAB: `mlint`
* Nim: `nim check`!!