diff --git a/docs/dependencies.html b/docs/dependencies.html index 8349c65c9c..616072c067 100644 --- a/docs/dependencies.html +++ b/docs/dependencies.html @@ -471,6 +471,6 @@

Please basics
- What's next? + Tooling
diff --git a/docs/quickstart.html b/docs/quickstart.html index 6eed35d93f..9c9ab2f17e 100644 --- a/docs/quickstart.html +++ b/docs/quickstart.html @@ -95,36 +95,6 @@

Shell completion

-
-

- BUILD file Language Protocol Server -

- -

- Please ships with a language server for build files. It follows the - language server protocol - from VS Code. -

- -

- To use LPS, simply download the language server protocol plugin for your - favourite editor, and run the binary with the command - plz tool lps. -

- -

- Currently LPS supports auto-completion (this works with build labels too!), - hover, goto definition, diagnostics, signature help, auto-formatting and - references. -

-
-

Getting started

diff --git a/docs/quickstart_dropoff.html b/docs/quickstart_dropoff.html index e210437d94..00294b3146 100644 --- a/docs/quickstart_dropoff.html +++ b/docs/quickstart_dropoff.html @@ -89,6 +89,6 @@

Come say hello

diff --git a/docs/template.html b/docs/template.html index 0e7ebd9b84..b0237c4bd6 100644 --- a/docs/template.html +++ b/docs/template.html @@ -82,7 +82,7 @@