| Index: lib/dom/scripts/dartgenerator.py
|
| diff --git a/lib/dom/scripts/dartgenerator.py b/lib/dom/scripts/dartgenerator.py
|
| index 8663b1e0d894a8c34d246eb041ec4bed0345783f..887eedc3c8f475d7f4af1a8e49d944a2e90b302e 100755
|
| --- a/lib/dom/scripts/dartgenerator.py
|
| +++ b/lib/dom/scripts/dartgenerator.py
|
| @@ -301,7 +301,8 @@ class DartGenerator(object):
|
| TemplateLoader(self._template_dir,
|
| ['html/dartium', 'html/impl', 'html', ''],
|
| {'DARTIUM': True, 'FROG': False}),
|
| - self._database, self._emitters, self._output_dir, self)
|
| + self._database, self._emitters, self._auxiliary_dir,
|
| + self._output_dir, self)
|
|
|
| html_system._interface_system = html_interface_system
|
| self._systems.append(html_system)
|
|
|