diff options
Diffstat (limited to 'scripts/docs/BUILD')
| -rw-r--r-- | scripts/docs/BUILD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/docs/BUILD b/scripts/docs/BUILD index 53452e22e0..5e0a704755 100644 --- a/scripts/docs/BUILD +++ b/scripts/docs/BUILD @@ -12,6 +12,8 @@ py_library( py_binary( name = "generate_dot_graphs", srcs = ["generate_dot_graphs.py"], + data = ["@dot//:cmd/dot/dot"], + tags = ["manual"], visibility = ["//site:__pkg__"], deps = [":dot-converter"], ) |