It was not used.
authordrepper <drepper>
Mon, 6 Sep 1999 22:09:20 +0000 (22:09 +0000)
committerdrepper <drepper>
Mon, 6 Sep 1999 22:09:20 +0000 (22:09 +0000)
scripts/printsources [deleted file]

diff --git a/scripts/printsources b/scripts/printsources
deleted file mode 100755 (executable)
index 062b837..0000000
+++ /dev/null
@@ -1,29 +0,0 @@
-#! /bin/csh -f
-
-#
-#      Prints all the files given as arguments.
-#      Files that will fit on less than a printed page
-#      are concatenated together.  Bigger ones are pr'd.
-#
-
-
-set tocat='' topr=''
-
-foreach file ($*)
-       set lines=`wc -l $file | sed "s/$file//"`
-       if ($lines > 40) then
-               set topr=($topr $file)
-       else
-               set tocat=($tocat $file)
-       endif
-end
-
-
-if ("$topr" != '') pr $topr
-
-if ("$tocat" != '') foreach file ($tocat)
-       echo -n "==================== $file ======================"
-       cat $file
-end
-
-exit 0