aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2022-11-17 12:42:12 +0100
committerThomas Voss <mail@thomasvoss.com> 2022-11-17 12:42:12 +0100
commitcf71908799a953f45c4dae15dfa4117d5cd24f6f (patch)
treea9e6165184b2efae892ccad6b61bfc814ca5212d /man
parent504b4d2c166158e75672edfff88899d84ab34400 (diff)
Match lux.h.3head, not lux.h.0v1.0.1
Diffstat (limited to 'man')
-rwxr-xr-xman/check.sh3
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 {} \;