diff options
| author |  Kristina Chodorow <kchodorow@google.com> | 2016-12-21 21:00:10 +0000 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2016-12-22 09:56:49 +0000 |
| commit | b7c00d8762d74fb54d0a6b0eb355abc6dc7a97c3 (patch) | |
| tree | 7f05c8ca289fdc5c3a005628eb8c799b74fcfdd9 /scripts/docs | |
| parent | 98398a2155caf62aff3deb14e82f539c750b9a03 (diff) | |
Export dot-format graphs as-is and download dot as an external repo
--
PiperOrigin-RevId: 142692462
MOS_MIGRATED_REVID=142692462
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..a285669daf 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 = ["@graphviz//:usr/bin/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..79e9c4a611 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/graphviz/usr/bin/dot' % os.environ['PWD'], '-Tsvg'], + os.environ.copy()) converter.convert() |