summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-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