| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index 619bce7d4e3e39bf94fb5b69bcceba2bb2a66c63..d3b96669fd1fc0bf91ba89a563b3b3bfe5774962 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -83,7 +83,8 @@ def Generate(system_names, database_dir, use_database_cache, dom_output_dir,
|
| {'DARTIUM': True, 'FROG': False}),
|
| webkit_database, emitters, output_dir, auxiliary_dir)
|
| html_system = HtmlInterfacesSystem(
|
| - TemplateLoader(template_dir, ['html/interface', 'html', '']),
|
| + TemplateLoader(template_dir, ['html/interface', 'html/impl', 'html',
|
| + '']),
|
| webkit_database, emitters, output_dir, backend)
|
| Generate(html_system)
|
| else:
|
|
|