Index: tools/dom/scripts/dartdomgenerator.py |
diff --git a/tools/dom/scripts/dartdomgenerator.py b/tools/dom/scripts/dartdomgenerator.py |
index 879df285b864da88ad8395da72db887288bb82e0..24ef49e1ac206c2f593f4efe9a5c205bffac81ea 100755 |
--- a/tools/dom/scripts/dartdomgenerator.py |
+++ b/tools/dom/scripts/dartdomgenerator.py |
@@ -204,7 +204,7 @@ def main(): |
html_json_path = os.path.relpath('../docs/html_docs.json') |
svg_json_path = os.path.relpath('../docs/svg_docs.json') |
- path_to_dart = utils.DartBinary() |
+ path_to_dart = utils.DartSdkBinary() |
blois
2013/01/09 00:44:48
On second thought, it's probably OK to do this as
Andrei Mouravski
2013/01/09 15:33:45
So, LGTM?
On 2013/01/09 00:44:48, blois wrote:
|
html_command = ' '.join([path_to_dart, html_to_json_script, |
'--mode=json-to-html', html_output_dir, |
html_json_path]) |