Add workspace names to documentation.
Change-Id: I7e5a8b287702c9dac425daf581fb9687c069431f
Closes #7396.
Change-Id: I7e5a8b287702c9dac425daf581fb9687c069431f
PiperOrigin-RevId: 233593101
diff --git a/site/docs/external.md b/site/docs/external.md
index 61cbc30..c98f85d 100644
--- a/site/docs/external.md
+++ b/site/docs/external.md
@@ -145,6 +145,8 @@
myproject/WORKSPACE
```python
+workspace(name = "myproject")
+
local_repository(
name = "A",
path = "../A",
@@ -158,6 +160,8 @@
A/WORKSPACE
```python
+workspace(name = "A")
+
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
http_archive(
name = "testrunner",
@@ -169,6 +173,8 @@
B/WORKSPACE
```python
+workspace(name = "B")
+
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
http_archive(
name = "testrunner",
@@ -184,6 +190,8 @@
update myproject/WORKSPACE:
```python
+workspace(name = "myproject")
+
load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
http_archive(
name = "testrunner-v1",