#!/bin/sh
-# $Id: srclist-update,v 1.7 2003-07-14 22:44:04 eggert Exp $
+# $Id: srclist-update,v 1.8 2003-07-15 12:47:27 karl Exp $
#
# Check for files in directory $1 being up to date, according to the
# list on stdin. Don't actually make any changes, just show the diffs.
*)
cat $1;;
esac \
- | grep -v '\$Id: srclist-update,v 1.7 2003-07-14 22:44:04 eggert Exp $' >$2
+ | grep -v '\$Id: srclist-update,v 1.8 2003-07-15 12:47:27 karl Exp $2
}