Adding upstream version 3.7.10.upstream/3.7.10

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 13 insertions, 0 deletions

diff --git a/mantools/find-double b/mantools/find-double
new file mode 100755
index 0000000..371663e
--- /dev/null
+++ b/mantools/find-double
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+sed 's/[^A-Z0-9a-z_][^A-Z0-9a-z_]*/ /g' "$@" | awk '
+	{ for (i = 1; i <= NF; i++) {
+		if (length($i) > 1 && $(i) == last) {
+			if (i == 1)
+			    printf("%s ", last)
+			print
+		}
+		last = $(i)
+	   }
+	}
+'