| Index: tools/bots/dart_sdk.py
|
| diff --git a/tools/bots/dart_sdk.py b/tools/bots/dart_sdk.py
|
| index bb7b2f4418c80c42299dc51ddabb49a709f9f536..40244cb73364c1fbecd725ba533c78ff7298f741 100644
|
| --- a/tools/bots/dart_sdk.py
|
| +++ b/tools/bots/dart_sdk.py
|
| @@ -42,10 +42,12 @@ def BuildDartdocAPIDocs(dirname):
|
| packages_dir = os.path.join(bot_utils.DART_DIR,
|
| utils.GetBuildRoot(BUILD_OS, 'release', 'ia32'),
|
| 'packages')
|
| + footer_file = os.path.join(bot_utils.DART_DIR,
|
| + 'tools', 'bots', 'dartdoc_footer.html')
|
| with bot.BuildStep('Build API docs by dartdoc'):
|
| subprocess.call([dart_exe, '--package-root=' + packages_dir, dartdoc_dart,
|
| - '--sdk-docs','--output', dirname, '--dart-sdk', dart_sdk,
|
| - '--package-root=%s' % packages_dir],
|
| + '--sdk-docs','--output', dirname, '--dart-sdk', dart_sdk,
|
| + '--footer' , footer_file, '--package-root=%s' % packages_dir],
|
| stdout=open(os.devnull, 'wb'))
|
|
|
| def CreateUploadVersionFile():
|
|
|