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 /supported-tools.md | |
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 'supported-tools.md')
-rw-r--r-- | supported-tools.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index 14c92dd9..b94a8084 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -310,6 +310,7 @@ formatting. * [languagetool](https://languagetool.org/) :floppy_disk: * [markdownlint](https://github.com/DavidAnson/markdownlint) :floppy_disk: * [mdl](https://github.com/mivok/markdownlint) + * [pandoc](https://pandoc.org) * [prettier](https://github.com/prettier/prettier) * [proselint](http://proselint.com/) * [redpen](http://redpen.cc/) |