summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorw0rp <devw0rp@gmail.com>2017-05-03 23:35:33 +0100
committerw0rp <devw0rp@gmail.com>2017-05-03 23:35:33 +0100
commitab7ab7d6e3038234068a05f73775e6c9e5b84598 (patch)
tree71731a31b982ca2cb1ee94af2a8c175e7bf2db32 /doc
parent0aed51565eae5f03dc400409ef73697333bb4f16 (diff)
downloadale-ab7ab7d6e3038234068a05f73775e6c9e5b84598.zip
Fix #530 - Fix LaTeX and TeX duplicate entries in documentation
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt3
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/ale.txt b/doc/ale.txt
index 01258cad..7f19fbed 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -142,7 +142,7 @@ The following languages and tools are supported.
* JavaScript: 'eslint', 'jscs', 'jshint', 'flow', 'xo'
* JSON: 'jsonlint'
* Kotlin: 'kotlinc'
-* LaTeX: 'chktex', 'lacheck'
+* LaTeX (tex): 'chktex', 'lacheck', 'proselint'
* Lua: 'luacheck'
* Markdown: 'mdl', 'proselint', 'vale'
* MATLAB: 'mlint'
@@ -168,7 +168,6 @@ The following languages and tools are supported.
* SML: 'smlnj'
* SQL: 'sqlint'
* Swift: 'swiftlint'
-* Tex: 'proselint'
* Texinfo: 'proselint'
* Text: 'proselint', 'vale'
* TypeScript: 'tslint', 'typecheck'