+++ /dev/null
-#! /bin/sh
-#
-# $Id$
-# ----------------------------------------------------------------------
-#
-# usage: collect_files file ...
-#
-# Prints the names of the files passed as arguments which actually
-# exist and are regular files.
-
-for x in "$@"; do
- if [ -f "$x" ]; then
- echo "$x"
- fi
-done
-
-# ======================================================================
-#
-# $Log$
-# Revision 1.1 2000/11/17 09:57:35 lpadovan
-# Initial revision
-#
-# Revision 1.1 2000/07/27 21:07:26 gerd
-# Initial revision.
-#