diff options
Diffstat (limited to 'cli/generator.cxx')
-rw-r--r-- | cli/generator.cxx | 6 |
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 (); |