diff options
author | Googler <noreply@google.com> | 2015-03-31 20:50:16 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@google.com> | 2015-04-01 13:42:54 +0000 |
commit | 08050a32f4422c22ee4dc269bc5e3c5f9e45cca0 (patch) | |
tree | 6e034581bc8c5e544b9f9d08854b94cbc1fabe09 /src/main/java/com/google/devtools/build/lib/syntax | |
parent | 83e47595f8154eb508f60f25b9bc9e65d29c3124 (diff) |
Mention of the final location of the compiled executable and clarify what to do with it post-compile, as well as clarify the language around how to use a workspace a bit.
Also, move some italics to block-quote.
This change is based on my initial checkout of the code and use, and what I would have wanted to have read so I would know what's going on.
--
MOS_MIGRATED_REVID=89998892
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax')
0 files changed, 0 insertions, 0 deletions