diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-05-15 20:58:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-15 20:58:06 +0100 |
| commit | 42155049a5fa0a44a2c4b24993eb045ec6a1c525 (patch) | |
| tree | 3aed12c758ce6f112dd3e7c5c516dc2087f67c34 /doc | |
| parent | 11a50b25807d7730adb42575d72f990fb8c32a7b (diff) | |
| parent | 9baae52d1afab8af832c4249eefc19e7dd28a251 (diff) | |
| download | ale-42155049a5fa0a44a2c4b24993eb045ec6a1c525.zip | |
Merge pull request #551 from meunierd/add-checkstyle-linter
Add checkstyle linter
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-java.txt | 12 | ||||
| -rw-r--r-- | doc/ale.txt | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/doc/ale-java.txt b/doc/ale-java.txt index cbfd4e24..7fb695e7 100644 --- a/doc/ale-java.txt +++ b/doc/ale-java.txt @@ -3,6 +3,18 @@ ALE Java Integration *ale-java-options* ------------------------------------------------------------------------------- +checkstyle ale-java-checkstyle + +g:ale_java_checkstyle_options g:ale_java_checkstyle_options + b:ale_java_checkstyle_options + + Type: String + Default: '-c /google_checks.xml' + + This variable can be changed to modify flags given to checkstyle. + + +------------------------------------------------------------------------------- javac *ale-java-javac* g:ale_java_javac_classpath *g:ale_java_javac_classpath* diff --git a/doc/ale.txt b/doc/ale.txt index c5411fc9..85dc6d20 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -39,6 +39,7 @@ CONTENTS *ale-contents* htmlhint............................|ale-html-htmlhint| tidy................................|ale-html-tidy| java..................................|ale-java-options| + checkstyle..........................|ale-java-checkstyle| javac...............................|ale-java-javac| javascript............................|ale-javascript-options| eslint..............................|ale-javascript-eslint| |