diff options
Diffstat (limited to 'mantools/check-spell-proto-html')
| -rwxr-xr-x | mantools/check-spell-proto-html | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mantools/check-spell-proto-html b/mantools/check-spell-proto-html new file mode 100755 index 0000000..3d05d66 --- /dev/null +++ b/mantools/check-spell-proto-html @@ -0,0 +1,7 @@ +#!/bin/sh + +# Spellchecks the proto HTML files. + +LANG=C; export LANG + +mantools/dehtml proto/*html proto/*.proto | spell | fgrep -vxf proto/stop | fgrep -vxf proto/stop.spell-proto-html |