| Index: grit/node/misc.py
|
| diff --git a/grit/node/misc.py b/grit/node/misc.py
|
| index 1003b877548e243a4b8a8f9ddf9f3742c1aced04..bd999709bdc58275e36997797f30b997391f87f1 100755
|
| --- a/grit/node/misc.py
|
| +++ b/grit/node/misc.py
|
| @@ -336,8 +336,10 @@ class GritNode(base.Node):
|
| input_files.add(self.ToRealPath(input_path))
|
|
|
| # If it's a flattened node, grab inlined resources too.
|
| - if node.name == 'structure' and node.attrs['flattenhtml'] == 'true':
|
| - node.RunPreSubstitutionGatherer()
|
| + if ((node.name == 'structure' or node.name == 'include')
|
| + and node.attrs['flattenhtml'] == 'true'):
|
| + if node.name == 'structure':
|
| + node.RunPreSubstitutionGatherer()
|
| input_files.update(node.GetHtmlResourceFilenames())
|
|
|
| self.SetOutputLanguage(old_output_language)
|
|
|