diff options
author | Passw <Passw@users.noreply.github.com> | 2018-02-15 01:33:23 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-02-15 01:35:09 -0800 |
commit | b7d09c568462a21e313fdfea295d40a13f8765f6 (patch) | |
tree | d271b8dc9f56a0c98b840ccf5f0715240d3f16f2 /site/docs/user-manual.html | |
parent | e4336da1f25e12f7fdc705c0531a86f5d4c13b95 (diff) |
docs : add `touch WORKSPACE`
It seems that we still need to touch a file named `WORKSPACE`
```
ERROR: The 'build' command is only supported from within a workspace.
```
Closes #4539.
PiperOrigin-RevId: 185807230
Diffstat (limited to 'site/docs/user-manual.html')
-rw-r--r-- | site/docs/user-manual.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html index 31da6cf3f7..d716bb4b72 100644 --- a/site/docs/user-manual.html +++ b/site/docs/user-manual.html @@ -426,6 +426,7 @@ Package path elements may be specified in three formats: <pre> % mkdir -p foo/bazel % cd foo/bazel + % touch WORKSPACE % bazel build --package_path /some/other/path //foo </pre> <h3 id='target-patterns'>Specifying targets to build</h3> |