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",