diff options
| author |  Kristina Chodorow <kchodorow@google.com> | 2016-01-27 22:08:54 +0000 |
|---|---|---|
| committer | Kristina Chodorow <kchodorow@google.com> | 2016-01-28 15:30:08 +0000 |
| commit | a6658a41d7fd1668197064ace2a26b76768af753 (patch) | |
| tree | f377f1a47bc243c37de65c782d9d1ce05bc74713 /src | |
| parent | e1412865fd36d301ec8143b6ff8cb547111d5bb7 (diff) | |
workspace() is now documented in its annotation
...and this documentation is incorrect.
--
MOS_MIGRATED_REVID=113198846
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/java/com/google/devtools/build/docgen/templates/be/functions.vm | 24 |
1 files changed, 0 insertions, 24 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 49105b2c25..58fe0821a7 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 @@ -633,29 +633,5 @@ sh_binary( </li> </ul> -<!-- ================================================================= - workspace() - ================================================================= ---> - -<h2 id="workspace">workspace</h2> - -<pre>workspace(name = "something")</pre> - -<p>This can only be used in the WORKSPACE file.</p> - -<p>The sets an optional name for the repository.</p> - -<p>This name is used for the directory that runfiles are stored in. For - example, if there is a runfile foo/bar and the WORKSPACE file contains - <code>workspace(name = "baz")</code>, then the runfile will be output under - mytarget.runfiles/baz/foo/bar. If no workspace name is specified, then the - runfile will be symlinked to bar.runfiles/foo/bar. -</p> - -<p>A workspace name can contain slashes if a deeper directory listing is - desired (<code>workspace(name = "baz/qux")</code> will place the runfile at - bar.runfiles/baz/qux/foo/bar). -</p> #parse("com/google/devtools/build/docgen/templates/be/footer.vm") |