diff options
Diffstat (limited to '')
-rwxr-xr-x | mantools/find-fluff | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mantools/find-fluff b/mantools/find-fluff new file mode 100755 index 0000000..8556f6c --- /dev/null +++ b/mantools/find-fluff @@ -0,0 +1,7 @@ +#!/bin/sh + +for i in $* +do + echo === $i === + grep '<p> *$' $i +done |