"-d", String (set_string_option input_file),
" specify the input document file [default stdin]";
"--doc", String (set_string_option input_file), " ";
"-d", String (set_string_option input_file),
" specify the input document file [default stdin]";
"--doc", String (set_string_option input_file), " ";