summaryrefslogtreecommitdiff
path: root/cli/generator.cxx
diff options
context:
space:
mode:
Diffstat (limited to 'cli/generator.cxx')
-rw-r--r--cli/generator.cxx6
1 files changed, 6 insertions, 0 deletions
diff --git a/cli/generator.cxx b/cli/generator.cxx
index cbb3ec7..01f77d5 100644
--- a/cli/generator.cxx
+++ b/cli/generator.cxx
@@ -452,6 +452,8 @@ generate (options const& ops, semantics::cli_unit& unit, path const& p)
ctx.toc++; // TOC phase after restart.
}
}
+
+ ctx.verify_id_ref ();
}
// HTML output
@@ -499,6 +501,8 @@ generate (options const& ops, semantics::cli_unit& unit, path const& p)
ctx.toc++; // TOC phase after restart.
}
}
+
+ ctx.verify_id_ref ();
}
// txt output
@@ -543,6 +547,8 @@ generate (options const& ops, semantics::cli_unit& unit, path const& p)
ctx.toc++; // TOC phase after restart.
}
}
+
+ ctx.verify_id_ref ();
}
auto_rm.cancel ();