| Index: tools/create_sdk.py | 
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py | 
| index 11ff386ae831889bc98602e45d9218130a7bd0cc..5cf2b1a0f28ef234e359ea996e793429ff18a96b 100755 | 
| --- a/tools/create_sdk.py | 
| +++ b/tools/create_sdk.py | 
| @@ -149,7 +149,7 @@ def CopyDartdocResources(home,sdk_root): | 
| PACKAGES_FILE = join(DARTDOC, '.packages') | 
| packages_file = open(PACKAGES_FILE, 'w') | 
| packages_file.write('dartdoc:.') | 
| -  packages_file.close() | 
| +  packages_file.close() | 
|  | 
|  | 
| def Main(): | 
| @@ -236,7 +236,7 @@ def Main(): | 
| join('html', 'dart2js'), join('html', 'dartium'), | 
| join('html', 'html_common'), | 
| join('indexed_db', 'dart2js'), join('indexed_db', 'dartium'), | 
| -                  'js', 'math', 'mirrors', 'typed_data', | 
| +                  'js', 'math', 'mirrors', 'profiler', 'typed_data', | 
| join('svg', 'dart2js'), join('svg', 'dartium'), | 
| join('web_audio', 'dart2js'), join('web_audio', 'dartium'), | 
| join('web_gl', 'dart2js'), join('web_gl', 'dartium'), | 
|  |