From d5b81433252b8b12502fe474461ac884ad3125e4 Mon Sep 17 00:00:00 2001 From: Lucas Date: Fri, 14 Oct 2022 13:44:15 +0200 Subject: [PATCH] Add "Proxy" to terminology page Fixes #3086 --- doc/src/concepts/index.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/src/concepts/index.md b/doc/src/concepts/index.md index ca27228b508..2728cca0f05 100644 --- a/doc/src/concepts/index.md +++ b/doc/src/concepts/index.md @@ -48,9 +48,13 @@ This is similar to Ruby's [rbenv], Python's [pyenv], or Node's [nvm]. "profile" defines a grouping of components. See the [Profiles] chapter for more details. +* **proxy** —  A wrapper for a common Rust component (e.g. `rustc`), built to forward + CLI invocations to the active Rust toolchain. See the [Proxies] chapter for more details. + [`clippy`]: https://github.com/rust-lang/rust-clippy [components]: components.md [cross-compilation]: ../cross-compilation.md [profiles]: profiles.md [toolchain specification]: toolchains.md [channels]: channels.md +[proxies]: proxies.md