summaryrefslogtreecommitdiff
path: root/cli/context.cxx
diff options
context:
space:
mode:
Diffstat (limited to 'cli/context.cxx')
-rw-r--r--cli/context.cxx25
1 files changed, 14 insertions, 11 deletions
diff --git a/cli/context.cxx b/cli/context.cxx
index 6e2ac4c..1513e8a 100644
--- a/cli/context.cxx
+++ b/cli/context.cxx
@@ -2158,21 +2158,24 @@ end_toc ()
void context::
verify_id_ref ()
{
- bool f (false);
-
- for (id_set_type::const_iterator i (ref_set.begin ());
- i != ref_set.end ();
- ++i)
+ if (!options.omit_link_check ())
{
- if (id_set.find (*i) == id_set.end ())
+ bool f (false);
+
+ for (id_set_type::const_iterator i (ref_set.begin ());
+ i != ref_set.end ();
+ ++i)
{
- cerr << "error: no id for fragment link '#" << *i << "'" << endl;
- f = true;
+ if (id_set.find (*i) == id_set.end ())
+ {
+ cerr << "error: no id for fragment link '#" << *i << "'" << endl;
+ f = true;
+ }
}
- }
- if (f)
- throw generation_failed ();
+ if (f)
+ throw generation_failed ();
+ }
id_set.clear ();
ref_set.clear ();