summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorw0rp <devw0rp@gmail.com>2016-12-22 11:32:20 +0000
committerw0rp <devw0rp@gmail.com>2016-12-22 11:32:20 +0000
commitcd6d8f2ab62e30571da9384c561da03b36f60b1c (patch)
tree09ec7260d092a418158ee61a70b6dd2908572472 /doc
parent771bfe3b185adb87e9480118eff8b476f6f02f05 (diff)
downloadale-cd6d8f2ab62e30571da9384c561da03b36f60b1c.zip
Fix #229 Disable text linters by default
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt
index bed7e31f..6ee90a51 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -93,6 +93,8 @@ The following languages and tools are supported.
* SCSS: 'sasslint', 'scsslint', 'stylelint'
* Scala: 'scalac'
* Swift: 'swiftlint'
+* Tex: 'proselint'
+* Text: 'proselint'
* TypeScript: 'tslint', 'typecheck'
* Verilog: 'iverilog', 'verilator'
* Vim: 'vint'