Several new features and improvements for dartdoc.

tools/create_sdk.py

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')

[Bob Nystrom, 2012/07/23 17:04:31]

Take a look at CopyShellScript() and see if you can use that here.

[Johnni Winther, 2012/07/24 08:49:16]

I tried but it didn't work. It seems to do something more that just the '.bat'
part.

+    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):