diff options
author | Matthew Sotoudeh <matthewsot@outlook.com> | 2020-04-13 08:53:27 -0700 |
---|---|---|
committer | Matthew Sotoudeh <matthewsot@outlook.com> | 2020-04-13 08:53:27 -0700 |
commit | 34c3543f58e9ff5b7e93415beda8cb53b80133c6 (patch) | |
tree | e06fa62b365ffbb191bb80b4c11fe7b83f8a95a0 /README.md | |
parent | 384e95912fd3ebe93edede7dff2d4b076ccc03d3 (diff) |
Update README to refer to git_repository
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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") |