diff options
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 2d80c322..5d6e215a 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2700,8 +2700,9 @@ documented in additional help files. dafny.................................|ale-dafny-dafny| dart....................................|ale-dart-options| analysis_server.......................|ale-dart-analysis_server| - dartanalyzer..........................|ale-dart-dartanalyzer| + dart-analyze..........................|ale-dart-analyze| dart-format...........................|ale-dart-format| + dartanalyzer..........................|ale-dart-dartanalyzer| dartfmt...............................|ale-dart-dartfmt| desktop.................................|ale-desktop-options| desktop-file-validate.................|ale-desktop-desktop-file-validate| |