summaryrefslogtreecommitdiffstats
path: root/mantools/check-spell-proto-html
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xmantools/check-spell-proto-html7
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