diff options
Diffstat (limited to 'cli/options.ixx')
| -rw-r--r-- | cli/options.ixx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cli/options.ixx b/cli/options.ixx index 609d5a9..df89810 100644 --- a/cli/options.ixx +++ b/cli/options.ixx @@ -493,6 +493,12 @@ html_heading_map_specified () const return this->html_heading_map_specified_; } +inline const bool& options:: +omit_link_check () const +{ + return this->omit_link_check_; +} + inline const std::vector<std::string>& options:: hxx_prologue () const { |