From 6300de8da799e23132c12cb7bb5a001a08908318 Mon Sep 17 00:00:00 2001
From: Rob Browning <rlb@defaultvalue.org>
Date: Tue, 11 Oct 2022 11:21:36 -0500
Subject: make-single-file: avoid scc dependency with "cat -s"

Call "cat -s" instead of replace-extra-blank-lines to avoid scc
dependency.

Thanks to Christopher Cramer for reporting the problem and proposing
an alternate solution.

Origin: debian
Bug-Debian: https://bugs.debian.org/336506
---
 make-single-file | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/make-single-file b/make-single-file
index ac650a7..44bec60 100755
--- a/make-single-file
+++ b/make-single-file
@@ -1,6 +1,9 @@
 #!/bin/tcsh -f
-scc -o remove-extra-blank-lines remove-extra-blank-lines.sc
-rm -f remove-extra-blank-lines.c
+
+# Replaced by cat -s below
+#scc -o remove-extra-blank-lines remove-extra-blank-lines.sc
+#rm -f remove-extra-blank-lines.c
+
 rm -f stalin.sc last-line.sc trotsky.sed
 cat <<eof >trotsky.sed
 \+;;; Begin delete for Trotsky+,\+;;; End delete for Trotsky+d
@@ -27,5 +30,5 @@ cat lenin.sc\
     source/stalin5e.sc\
     source/stalin.sc\
     |sed -f trotsky.sed|cat - last-line.sc\
-    |remove-extra-blank-lines >stalin.sc
+    |cat -s >stalin.sc
 rm -f last-line.sc trotsky.sed remove-extra-blank-lines
