diff options
author | 2016-12-21 21:00:10 +0000 | |
---|---|---|
committer | 2016-12-22 09:56:49 +0000 | |
commit | b7c00d8762d74fb54d0a6b0eb355abc6dc7a97c3 (patch) | |
tree | 7f05c8ca289fdc5c3a005628eb8c799b74fcfdd9 /scripts/docs/generate_dot_graphs.py | |
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/generate_dot_graphs.py')
-rw-r--r-- | scripts/docs/generate_dot_graphs.py | 6 |
1 files changed, 4 insertions, 2 deletions
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() |