diff --git a/docs/docs/parsing.xml b/docs/docs/parsing.xml index f00697717..0e2430275 100644 --- a/docs/docs/parsing.xml +++ b/docs/docs/parsing.xml @@ -487,6 +487,15 @@ + + + get_option + dlib/cmd_line_parser/get_option_abstract.h + This extension provides a convenience function for accessing the + options to a command line argument or a config_reader. It + is automatically #included when using the command line parser or config reader. + + diff --git a/docs/docs/term_index.xml b/docs/docs/term_index.xml index a5972c681..1d4cd9b7f 100644 --- a/docs/docs/term_index.xml +++ b/docs/docs/term_index.xml @@ -1152,7 +1152,7 @@ - +