From 34c3543f58e9ff5b7e93415beda8cb53b80133c6 Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Mon, 13 Apr 2020 08:53:27 -0700 Subject: Update README to refer to git_repository --- README.md | 7 +++++-- 1 file 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") -- cgit v1.2.3