DevTools: specify dependency of 'devtools.html' from 'webkit.gyp'.

webkit/build/generate_devtools_html.py

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)