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) |