1 files changed, 16 insertions, 0 deletions
diff --git a/support/cat-s b/support/cat-s
new file mode 100644
index 00000000..87ba1634
--- /dev/null
+++ b/support/cat-s
@@ -0,0 +1,16 @@
+# This awk script is called from within Makefile to strip multiple blank
+# lines from stdin.
+BEGIN { newlines = 0 }
+{
+  if (NF == 0)
+    newlines = 1;
+  else
+    {
+      if (newlines)
+	{
+	  printf "\n";
+	  newlines = 0;
+	}
+      print $0;
+    }
+}