From 5401afc002ba086ca964aa7a164fbc6dbd1898b1 Mon Sep 17 00:00:00 2001
From: Idan Gazit <idan@gazit.me>
Date: Fri, 9 Oct 2020 19:10:07 -0700
Subject: [PATCH] Skip toolchain for docker

---
 docs/docs/dev-setup.md | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/docs/docs/dev-setup.md b/docs/docs/dev-setup.md
index 6ef0f020..114fe0b3 100644
--- a/docs/docs/dev-setup.md
+++ b/docs/docs/dev-setup.md
@@ -338,11 +338,6 @@ Please be sure to read the [additional setup instructions](https://docs.zephyrpr
 
 :::
 
-</TabItem>
-<TabItem value="docker">
-
-You're already set up: the toolchain is installed and configured inside the docker container.
-
 </TabItem>
 </OsTabs>