diff options
| author |  kchodorow <kchodorow@google.com> | 2017-05-03 17:12:22 +0200 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2017-05-03 17:26:37 +0200 |
| commit | 148366ffc6e594f196d1b1638694af83d9a96edb (patch) | |
| tree | 2e9cc4a05d883eda114b1179cd5457b5693d403f | |
| parent | f13ce1517e5d6765f4e9a08fdaa0c74b89a36190 (diff) | |
Actually encode HTML entities
Otherwise they're read as HTML tags and "invisible." Oops.
PiperOrigin-RevId: 154956817
2 files changed, 2 insertions, 2 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 37aa7b9e4d..dd15fe5e5c 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 @@ -100,7 +100,7 @@ For GitHub, this takes the form: <pre> http_archive( name = "<name>", - urls = ["https://github.com/<user>/<repo>/archive/<commit or tag>.tar.gz"], + urls = ["https://github.com/<user>/<repo>/archive/<commit or tag>.tar.gz"], ) </pre> diff --git a/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/NewGitRepositoryRule.java b/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/NewGitRepositoryRule.java index 8659f5d5a9..ce1a48e1ba 100644 --- a/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/NewGitRepositoryRule.java +++ b/src/main/java/com/google/devtools/build/lib/bazel/rules/workspace/NewGitRepositoryRule.java @@ -132,7 +132,7 @@ For GitHub, this takes the form: <pre> new_http_archive( name = "<name>", - urls = ["https://github.com/<user>/<repo>/archive/<commit or tag>.tar.gz"], + urls = ["https://github.com/<user>/<repo>/archive/<commit or tag>.tar.gz"], build_file = "<build file>", ) </pre> |