diff options
author | Stéphane Aulery <saulery@free.fr> | 2015-03-15 01:15:24 +0100 |
---|---|---|
committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2015-03-22 19:25:22 +0100 |
commit | 1870c751c10908f1aabe5d158727fc1da68930eb (patch) | |
tree | f0500363bd8731143b8f9572839bffff352aeb4c /scripts | |
parent | e914e480fefb89912bf9bedbf0d5ea89a16aa227 (diff) | |
download | man-pages-1870c751c10908f1aabe5d158727fc1da68930eb.tar.gz |
find_repeated_words.sh: Do not process files that are redirects
Signed-off-by: Stéphane Aulery <saulery@free.fr>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/find_repeated_words.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/find_repeated_words.sh b/scripts/find_repeated_words.sh index 50133be8a1..747872e3ba 100644 --- a/scripts/find_repeated_words.sh +++ b/scripts/find_repeated_words.sh @@ -25,6 +25,9 @@ # for file in "$@" ; do + # Do not process files that are redirects. + grep -qE "^\.so man.*" "$file" + if test $? -ne 0; then words=$(MANWIDTH=2000 man -l "$file" 2> /dev/null | col -b | \ tr ' \008' '\012' | sed -e '/^$/d' | \ sed 's/ *$//' | @@ -33,4 +36,5 @@ for file in "$@" ; do if test -n "$words"; then echo "$file: $words" fi + fi done |