summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Sotoudeh <matthewsot@outlook.com>2020-04-13 08:53:27 -0700
committerMatthew Sotoudeh <matthewsot@outlook.com>2020-04-13 08:53:27 -0700
commit34c3543f58e9ff5b7e93415beda8cb53b80133c6 (patch)
treee06fa62b365ffbb191bb80b4c11fe7b83f8a95a0
parent384e95912fd3ebe93edede7dff2d4b076ccc03d3 (diff)
Update README to refer to git_repository
-rw-r--r--README.md7
1 files changed, 5 insertions, 2 deletions
diff --git a/README.md b/README.md
index 193b82b..a823859 100644
--- a/README.md
+++ b/README.md
@@ -45,9 +45,12 @@ Use the following `WORKSPACE` (modifying `name` as desired):
```python
workspace(name = "your_workspace_name")
-local_repository(
+load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository")
+
+git_repository(
name = "bazel_latex",
- path = "../bazel-latex",
+ commit = "{COMMIT_GOES_HERE}",
+ remote = "https://github.com/95616ARG/bazel-latex.git",
)
load("@bazel_latex//:repositories.bzl", "latex_repositories")
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback