Index: webkit/build/generate_devtools_html.py |
diff --git a/webkit/build/generate_devtools_html.py b/webkit/build/generate_devtools_html.py |
index 82f9490881c813f22165611f0449e34f2d6bac15..59aeee37f1543d1da57c7d9a392b30d706f33bc4 100755 |
--- a/webkit/build/generate_devtools_html.py |
+++ b/webkit/build/generate_devtools_html.py |
@@ -19,18 +19,22 @@ def GenerateIncludeTag(resource_path): |
def main(argv): |
if len(argv) < 4: |
- print 'usage: %s inspector_html devtools_html css_and_js_files_list' % argv[0] |
+ print('usage: %s ignored inspector_html devtools_html' |
+ ' css_and_js_files_list' % argv[0]) |
return 1 |
- inspector_html_name = argv[1] |
- devtools_html_name = argv[2] |
+ # The first argument is ignored. We put 'webkit.gyp' in the inputs list |
+ # for this script, so every time the list of script gets changed, our html |
+ # file is rebuilt. |
+ inspector_html_name = argv[2] |
+ devtools_html_name = argv[3] |
inspector_html = open(inspector_html_name, 'r') |
devtools_html = open(devtools_html_name, 'w') |
for line in inspector_html: |
if '</head>' in line: |
devtools_html.write('\n <!-- The following lines are added to include DevTools resources -->\n') |
- for resource in argv[3:]: |
+ for resource in argv[4:]: |
devtools_html.write(GenerateIncludeTag(resource)) |
devtools_html.write(' <!-- End of auto-added files list -->\n') |
devtools_html.write(line) |