diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-11-17 12:42:12 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-11-17 12:42:12 +0100 |
| commit | cf71908799a953f45c4dae15dfa4117d5cd24f6f (patch) | |
| tree | a9e6165184b2efae892ccad6b61bfc814ca5212d /man | |
| parent | 504b4d2c166158e75672edfff88899d84ab34400 (diff) | |
Match lux.h.3head, not lux.h.0v1.0.1
Diffstat (limited to 'man')
| -rwxr-xr-x | man/check.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/man/check.sh b/man/check.sh index 3f98164..10fdf8f 100755 --- a/man/check.sh +++ b/man/check.sh @@ -1,3 +1,4 @@ #!/bin/sh -find . -name '*.[03]' -exec aspell --home-dir=./ --mode=nroff --ignore-case check {} \; +find . -name '*.3*' -exec \ + aspell --home-dir=./ --mode=nroff --ignore-case check {} \; |