aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Chen <dzc@google.com>2016-02-04 08:19:48 +0000
committerGravatar David Chen <dzc@google.com>2016-02-04 18:12:30 +0000
commit6cdcb0002e93bf1e9994c20513a1bfe2699e838c (patch)
treed2148a5e8ad6dfaecabe7b606a9d5104519b2bc2
parentacdc0cabe9ff5c84f21735f7453920d4037d5a43 (diff)
Minor correction to HTML for workspace() docs.
-- MOS_MIGRATED_REVID=113822158
-rw-r--r--src/main/java/com/google/devtools/build/docgen/templates/be/functions.vm6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/java/com/google/devtools/build/docgen/templates/be/functions.vm b/src/main/java/com/google/devtools/build/docgen/templates/be/functions.vm
index fd0240013c..e6d89c0054 100644
--- a/src/main/java/com/google/devtools/build/docgen/templates/be/functions.vm
+++ b/src/main/java/com/google/devtools/build/docgen/templates/be/functions.vm
@@ -638,7 +638,7 @@ sh_binary(
=================================================================
-->
-<h2 id="workspace"><a name="workspace">workspace</a></h2>
+<h2 id="workspace">workspace</h2>
<pre>workspace(name = "com_example_project")</pre>
@@ -662,9 +662,9 @@ sh_binary(
reverse-DNS form, with elements separated by underscores. For example, if a
project is hosted at example.com/some-project, you might use
com_example_some_project as the workspace name.
-</pre>
+</p>
-<pre><a href="/docs/be/workspace.html">Remote repository</a> rule names must be
+<p><a href="/docs/be/workspace.html">Remote repository</a> rule names must be
valid workspace names. For example, you could have
<code>maven_jar(name = "foo")</code>, but not
<code>maven_jar(name = "foo.bar")</code>, as Bazel would attempt to write a