diff options
author | Thomas Voss <thomasvoss@live.com> | 2022-09-09 22:52:31 +0200 |
---|---|---|
committer | Thomas Voss <thomasvoss@live.com> | 2022-09-09 22:52:31 +0200 |
commit | 174505857dc9167612a863923756c70c4d0908d6 (patch) | |
tree | d8f60c5c6f33e86f62a0e7d43bcc9299939dc818 /man/check.sh | |
parent | ecdcdc5282b9b90b0e06948cd9740cdfcfa4b6dc (diff) |
Use aspell(1) for spell checking
Diffstat (limited to 'man/check.sh')
-rwxr-xr-x | man/check.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/check.sh b/man/check.sh new file mode 100755 index 0000000..e6afab8 --- /dev/null +++ b/man/check.sh @@ -0,0 +1,3 @@ +#!/bin/sh + +find . -name '*.3' -exec aspell --home-dir=./ --mode=nroff --ignore-case check {} \; |