diff options
Diffstat (limited to '')
-rwxr-xr-x | mantools/spell | 10 | ||||
-rwxr-xr-x | mantools/spelldiff | 23 |
2 files changed, 33 insertions, 0 deletions
diff --git a/mantools/spell b/mantools/spell new file mode 100755 index 0000000..f4138ed --- /dev/null +++ b/mantools/spell @@ -0,0 +1,10 @@ +#!/bin/sh + +LC_ALL=C +export LC_ALL + +for i in $* +do + echo === $i === + mantools/html2readme $i | col -b | spell | fgrep -vxf proto/stop +done diff --git a/mantools/spelldiff b/mantools/spelldiff new file mode 100755 index 0000000..ba059fe --- /dev/null +++ b/mantools/spelldiff @@ -0,0 +1,23 @@ +#!/bin/sh + +# Usage: spelldiff baseline files... + +case $# in +0|1) echo Usage: $0 baseline files... 1>&2; exit 1;; +esac + +baseline="$1"; shift + +for f +do + if [ -f "${baseline}/${f}" ] + then + diff -U0 "${baseline}/${f}" "${f}" | sed -n ' + /^+/{ + s/.// + p + }' + else + cat "${f}" + fi +done |