| Index: client/dom/scripts/dartgenerator.py
|
| diff --git a/client/dom/scripts/dartgenerator.py b/client/dom/scripts/dartgenerator.py
|
| index 742fa21a379d03c0f8625d38a9d2e601f640ac03..8e8ee7aafe518da77ef2adb91a2adbf6f1ed6faf 100755
|
| --- a/client/dom/scripts/dartgenerator.py
|
| +++ b/client/dom/scripts/dartgenerator.py
|
| @@ -281,7 +281,8 @@ class DartGenerator(object):
|
|
|
| if 'htmlfrog' in systems:
|
| html_system = HtmlFrogSystem(
|
| - TemplateLoader(self._template_dir, ['html/frog', 'html', '']),
|
| + TemplateLoader(self._template_dir,
|
| + ['html/frog', 'html/impl', 'html', '']),
|
| self._database, self._emitters, self._output_dir, self)
|
|
|
| html_system._interface_system = html_interface_system
|
| @@ -289,7 +290,8 @@ class DartGenerator(object):
|
|
|
| if 'htmldartium' in systems:
|
| html_system = HtmlDartiumSystem(
|
| - TemplateLoader(self._template_dir, ['html/dartium', 'html', '']),
|
| + TemplateLoader(self._template_dir,
|
| + ['html/dartium', 'html/impl', 'html', '']),
|
| self._database, self._emitters, self._output_dir, self)
|
|
|
| html_system._interface_system = html_interface_system
|
|
|