summaryrefslogtreecommitdiff
path: root/cli/options.cli
diff options
context:
space:
mode:
Diffstat (limited to 'cli/options.cli')
-rw-r--r--cli/options.cli6
1 files changed, 6 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli
index a7e1cee..8b9ff5f 100644
--- a/cli/options.cli
+++ b/cli/options.cli
@@ -278,6 +278,12 @@ class options
'\cb{h2}', etc)."
};
+ bool --omit-link-check
+ {
+ "Don't check that local fragment link references (\\l{#ref ...}) resolve
+ to ids."
+ };
+
// Prologues.
//
std::vector<std::string> --hxx-prologue