summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/ale-proto.txt24
-rw-r--r--doc/ale.txt2
2 files changed, 26 insertions, 0 deletions
diff --git a/doc/ale-proto.txt b/doc/ale-proto.txt
new file mode 100644
index 00000000..6a256380
--- /dev/null
+++ b/doc/ale-proto.txt
@@ -0,0 +1,24 @@
+===============================================================================
+ALE Proto Integration *ale-proto-options*
+
+
+===============================================================================
+Integration Information
+
+Linting of `.proto` files requires that the `protoc` binary is installed in the
+system path and that the `protoc-gen-lint` plugin for the `protoc` binary is also
+installed.
+
+To enable `.proto` file linting, update |g:ale_linters| as appropriate:
+>
+ " Enable linter for .proto files
+ let g:ale_linters = {'proto': ['protoc-gen-lint']}
+<
+===============================================================================
+protoc-gen-lint *ale-proto-protoc-gen-lint*
+
+ The linter is a plugin for the `protoc` binary. As long as the binary resides
+ in the system path, `protoc` will find it.
+
+===============================================================================
+ vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
diff --git a/doc/ale.txt b/doc/ale.txt
index 2ee2c2d7..a0aa9c83 100644
--- a/doc/ale.txt
+++ b/doc/ale.txt
@@ -134,6 +134,8 @@ CONTENTS *ale-contents*
phpstan.............................|ale-php-phpstan|
pod...................................|ale-pod-options|
write-good..........................|ale-pod-write-good|
+ proto.................................|ale-proto-options|
+ protoc-gen-lint.....................|ale-proto-protoc-gen-lint|
pug...................................|ale-pug-options|
puglint.............................|ale-pug-puglint|
puppet................................|ale-puppet-options|