diff options
author | 2016-02-04 08:19:48 +0000 | |
---|---|---|
committer | 2016-02-04 18:12:30 +0000 | |
commit | 6cdcb0002e93bf1e9994c20513a1bfe2699e838c (patch) | |
tree | d2148a5e8ad6dfaecabe7b606a9d5104519b2bc2 | |
parent | acdc0cabe9ff5c84f21735f7453920d4037d5a43 (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.vm | 6 |
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 |