Index: Source/devtools/devtools.gypi |
diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi |
index ba8f2e0c1b35512c9a9f6e878dbe21a8f4b37cc2..7155cbe0bee60749fcec387f5098d6ee3490c341 100644 |
--- a/Source/devtools/devtools.gypi |
+++ b/Source/devtools/devtools.gypi |
@@ -439,6 +439,7 @@ |
], |
'devtools_documentation_js_files': [ |
'front_end/documentation/DocumentationView.js', |
+ 'front_end/documentation/DocumentationURLProvider.js', |
'front_end/documentation/WikiParser.js', |
'front_end/documentation/JSTransformer.js', |
'front_end/documentation/CSSTransformer.js', |