diff options
Diffstat (limited to '')
-rwxr-xr-x | mantools/check-double-cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/mantools/check-double-cc b/mantools/check-double-cc new file mode 100755 index 0000000..61ffc5b --- /dev/null +++ b/mantools/check-double-cc @@ -0,0 +1,8 @@ +#!/bin/sh + +# Finds double words in C comments. See mantools/comment.c for 'comment' +# source code. + +LANG=C; export LANG + +find src -name '*.[hc]' | xargs cat | comment | mantools/deroff | mantools/find-double | fgrep -vxf proto/stop.double-cc |