diff options
Diffstat (limited to 'scripts/docs')
-rw-r--r-- | scripts/docs/BUILD | 2 | ||||
-rw-r--r-- | scripts/docs/generate_dot_graphs.py | 6 |
2 files changed, 6 insertions, 2 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"], ) diff --git a/scripts/docs/generate_dot_graphs.py b/scripts/docs/generate_dot_graphs.py index 306d5e12b0..f8d26e0449 100644 --- a/scripts/docs/generate_dot_graphs.py +++ b/scripts/docs/generate_dot_graphs.py @@ -18,6 +18,8 @@ import os from scripts.docs.dot_converter import DotConverter -if __name__ == "__main__": - converter = DotConverter(["dot", "-Tsvg"], os.environ.copy()) +if __name__ == '__main__': + converter = DotConverter( + ['%s/external/dot/cmd/dot/dot' % os.environ['PWD'], '-Tsvg'], + os.environ.copy()) converter.convert() |