diff options
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| |