From bd24c6bba0e6254d01bb92053847d0d396a8b77d Mon Sep 17 00:00:00 2001
From: Ed Baunton <edbaunton@gmail.com>
Date: Wed, 29 Nov 2017 08:16:52 -0800
Subject: Fix strip-prefix typo in docs

The usage is `strip_prefix` not `strip-prefix`.

Closes #4162.

PiperOrigin-RevId: 177311042
---
 .../devtools/build/lib/bazel/rules/workspace/GitRepositoryRule.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main')

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 = "&lt;name&gt;",
-    strip-prefix = "&lt;top-level-name&gt;",
+    strip_prefix = "&lt;top-level-name&gt;",
     urls = ["https://github.com/&lt;user&gt;/&lt;repo&gt;/archive/&lt;commit or tag&gt;.tar.gz"],
 )
 </pre>
-- 
cgit v1.2.3