diff options
| author | Thomas Voss <thomasvoss@live.com> | 2022-09-21 00:15:26 +0200 |
|---|---|---|
| committer | Thomas Voss <thomasvoss@live.com> | 2022-09-21 00:15:26 +0200 |
| commit | ca047f462757fe6330189162c15a13840fbe64ea (patch) | |
| tree | 1af6b21ce6b017de644279510a0c56cf96e4c0a9 /man/check.sh | |
| parent | 9a2b957f93d89b32d14a43998b9bb3aef362d7f3 (diff) | |
Add more words to dictionary
Diffstat (limited to 'man/check.sh')
| -rwxr-xr-x | man/check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/check.sh b/man/check.sh index e6afab8..3f98164 100755 --- a/man/check.sh +++ b/man/check.sh @@ -1,3 +1,3 @@ #!/bin/sh -find . -name '*.3' -exec aspell --home-dir=./ --mode=nroff --ignore-case check {} \; +find . -name '*.[03]' -exec aspell --home-dir=./ --mode=nroff --ignore-case check {} \; |