Index: tools/create_sdk.py |
diff --git a/tools/create_sdk.py b/tools/create_sdk.py |
index 5d467be30101d3d9d52e3ab17f6b5775ca727ccf..9b138326e0b657a9412d15f7dc9421b1870ff821 100755 |
--- a/tools/create_sdk.py |
+++ b/tools/create_sdk.py |
@@ -145,12 +145,16 @@ def CopyDart2Js(build_dir, sdk_root): |
ReplaceInFiles([dart2js], |
[(r'%SCRIPTPATH%\.\.\\lib', |
r'%SCRIPTPATH%..\lib\dart2js\lib')]) |
+ dartdoc = os.path.join(sdk_root, 'bin', 'dartdoc.bat') |
+ Copy(os.path.join(build_dir, 'dartdoc.bat'), dartdoc) |
else: |
dart2js = os.path.join(sdk_root, 'bin', 'dart2js') |
Copy(os.path.join(build_dir, 'dart2js'), dart2js) |
ReplaceInFiles([dart2js], |
[(r'\$BIN_DIR/\.\./\.\./lib', |
r'$BIN_DIR/../lib/dart2js/lib')]) |
+ dartdoc = os.path.join(sdk_root, 'bin', 'dartdoc') |
+ Copy(os.path.join(build_dir, 'dartdoc'), dartdoc) |
def Main(argv): |