diff options
author | Ed Baunton <edbaunton@gmail.com> | 2017-11-29 08:16:52 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-11-29 08:20:44 -0800 |
commit | bd24c6bba0e6254d01bb92053847d0d396a8b77d (patch) | |
tree | b67c475c8d3aae8436b92a742c6b40c078236a6e /src/main/java/com/google | |
parent | 2250443818db21ca1610e12252d962639c22d3f0 (diff) |
Fix strip-prefix typo in docs
The usage is `strip_prefix` not `strip-prefix`.
Closes #4162.
PiperOrigin-RevId: 177311042
Diffstat (limited to 'src/main/java/com/google')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/GitRepositoryRule.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/GitRepositoryRule.java b/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/GitRepositoryRule.java index 14224fb7f4..b6d5a9e26c 100644 --- a/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/GitRepositoryRule.java +++ b/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/GitRepositoryRule.java @@ -111,7 +111,7 @@ For GitHub, this takes the form: <pre> http_archive( name = "<name>", - strip-prefix = "<top-level-name>", + strip_prefix = "<top-level-name>", urls = ["https://github.com/<user>/<repo>/archive/<commit or tag>.tar.gz"], ) </pre> |