diff options
| author | w0rp <devw0rp@gmail.com> | 2017-08-10 10:45:12 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-08-10 10:45:12 +0100 |
| commit | 9ae2df195865e1f5ce3b1dab8b43c89e59ad471e (patch) | |
| tree | fc24f64632c5fa0d9f4782cea3949ca09a01ee87 /doc/ale-java.txt | |
| parent | 7dee9da0f27c31226a746377ba7f0bda15e70281 (diff) | |
| download | ale-9ae2df195865e1f5ce3b1dab8b43c89e59ad471e.zip | |
Automatically check for invalid help tag references, and fix some existing documentation issues
Diffstat (limited to 'doc/ale-java.txt')
| -rw-r--r-- | doc/ale-java.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/ale-java.txt b/doc/ale-java.txt index 36d606de..13decb41 100644 --- a/doc/ale-java.txt +++ b/doc/ale-java.txt @@ -3,10 +3,10 @@ ALE Java Integration *ale-java-options* =============================================================================== -checkstyle ale-java-checkstyle +checkstyle *ale-java-checkstyle* -g:ale_java_checkstyle_options g:ale_java_checkstyle_options - b:ale_java_checkstyle_options +g:ale_java_checkstyle_options *g:ale_java_checkstyle_options* + *b:ale_java_checkstyle_options* Type: String Default: '-c /google_checks.xml' |