Skip to content

Commit

Permalink
Updated help message
Browse files Browse the repository at this point in the history
  • Loading branch information
darrenldl committed Aug 30, 2023
1 parent 7a88b8c commit 4eccb0b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bin/docfd.ml
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ let max_word_search_dist_arg_name = "max-word-search-dist"

let max_word_search_dist_arg =
let doc =
"Maximum distance to look for the next matching word/symbol in search. If two words are adjacent words, then they are 1 distance away from each other. Note that contiguous spaces count as one word/symbol as well."
"Maximum distance to look for the next matching word/symbol in search phrase. If two words are adjacent words, then they are 1 distance away from each other. Note that contiguous spaces count as one word/symbol as well."
in
Arg.(
value
Expand Down

0 comments on commit 4eccb0b

Please sign in to comment.