diff options
author | Andrea Gelmini <andrea.gelmini@gelma.net> | 2021-05-21 12:56:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-21 12:56:32 +0200 |
commit | b364e8ea2ce3bc838fdd97e4174c6decbe430aeb (patch) | |
tree | 56cf7bcd13fa4db8e1de1363a91662a4a823ffd0 /src/config.rs | |
parent | 1411ea967a9247f8478c5c3b43a552eac7bd4743 (diff) |
Fix typos (#1540)
Signed-off-by: Andrea Gelmini <andrea.gelmini@gelma.net>
Diffstat (limited to 'src/config.rs')
-rw-r--r-- | src/config.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/config.rs b/src/config.rs index 78fdc3ad..a72d00de 100644 --- a/src/config.rs +++ b/src/config.rs @@ -656,7 +656,7 @@ pub struct Search { pub boost_paragraph: u8, /// True if the searchword `micro` should match `microwave`. Default: `true`. pub expand: bool, - /// Documents are split into smaller parts, seperated by headings. This defines, until which + /// Documents are split into smaller parts, separated by headings. This defines, until which /// level of heading documents should be split. Default: `3`. (`### This is a level 3 heading`) pub heading_split_level: u8, /// Copy JavaScript files for the search functionality to the output directory? |