Index: sdk/lib/html/scripts/dartdomgenerator.py |
=================================================================== |
--- sdk/lib/html/scripts/dartdomgenerator.py (revision 14505) |
+++ sdk/lib/html/scripts/dartdomgenerator.py (working copy) |
@@ -134,7 +134,8 @@ |
def GenerateSingleFile(library_path, output_dir): |
library_dir = os.path.dirname(library_path) |
library_filename = os.path.basename(library_path) |
- copy_dart_script = os.path.relpath('../../../tools/copy_dart.py', library_dir) |
+ copy_dart_script = os.path.relpath('../../../../tools/copy_dart.py', |
+ library_dir) |
output_dir = os.path.relpath(output_dir, library_dir) |
command = ' '.join(['cd', library_dir, ';', |
copy_dart_script, output_dir, library_filename]) |