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