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 |