| 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',
|
|
|