summaryrefslogtreecommitdiff
path: root/cli/context.cxx
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-09-03 16:38:40 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-09-03 16:38:40 +0200
commitc3f214e5f820d298129e558d64c10e8826bf84ef (patch)
treeb165c0680e09475125a4ef896f8c43fb828f076d /cli/context.cxx
parent90a548af2ca2688ccd40531a1b0359ab33ba1324 (diff)
Add --omit-link-check option
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 ();