From 5032e252a9ea58af11b36040da5710ff4583aca2 Mon Sep 17 00:00:00 2001 From: Joshua Nelson Date: Thu, 24 Nov 2022 20:42:25 -0500 Subject: [PATCH] Replace `$TARGET` with `host` This avoids having to manually modify the configuration in the docs. --- src/doc/rustc-dev-guide/src/building/suggested.md | 11 +++-------- src/doc/rustc-dev-guide/src/contributing.md | 2 +- src/doc/rustc-dev-guide/src/rustdoc.md | 6 +++--- src/doc/rustc-dev-guide/src/tests/running.md | 2 +- 4 files changed, 8 insertions(+), 13 deletions(-) diff --git a/src/doc/rustc-dev-guide/src/building/suggested.md b/src/doc/rustc-dev-guide/src/building/suggested.md index a85229c6a506..8450a4b5d57f 100644 --- a/src/doc/rustc-dev-guide/src/building/suggested.md +++ b/src/doc/rustc-dev-guide/src/building/suggested.md @@ -34,10 +34,10 @@ you can write: