diff options
author | Jesse Hathaway <jesse@mbuki-mvuki.org> | 2021-07-04 07:39:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-04 21:39:29 +0900 |
commit | 36fcb01e05979b410da1dcee10979b0f4e610eb6 (patch) | |
tree | dad3fad01d795f7017b357ff74ba7b4497eed678 /doc/ale.txt | |
parent | e4ddd32c840c405b12abe76fefc860062989e429 (diff) | |
download | ale-36fcb01e05979b410da1dcee10979b0f4e610eb6.zip |
Add pandoc as a markdown fixer (#3641)
Utilize pandoc to fix markdown files, currently set to Github-Flavored
Markdown, but that can be changed by setting,
ale_markdown_pandoc_options.
Diffstat (limited to 'doc/ale.txt')
-rw-r--r-- | doc/ale.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 6c6a363e..5d2ff444 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2847,6 +2847,7 @@ documented in additional help files. markdown................................|ale-markdown-options| markdownlint..........................|ale-markdown-markdownlint| mdl...................................|ale-markdown-mdl| + pandoc................................|ale-markdown-pandoc| prettier..............................|ale-markdown-prettier| remark-lint...........................|ale-markdown-remark-lint| textlint..............................|ale-markdown-textlint| |