#!/bin/sh -x
#
#ident  "@(#)i.encodingsdir 35.1 94/09/01 SMI"
#
# 	@(#)i.encodingsdir	35.2	95/12/11  (c) 1994 by Sun Microsystems, Inc.
#

PATH="/usr/bin:/usr/sbin:${PATH}"
export PATH

while read src dest
do
	if [ ! -f $dest ] ; then
		cp $src $dest
	else
		cat $dest | sed -e '1d' > /tmp/$$encodings.dir
		cat $src  | sed -e '1d' > /tmp/$$encodings.dir.add
		diff -w /tmp/$$encodings.dir /tmp/$$encodings.dir.add | \
		    grep '^>' > /dev/null && 
			( count=`grep '^FILENAME' /tmp/$$encodings.dir \
			  /tmp/$$encodings.dir.add | wc -l`
			  echo $count > $dest
			  cat /tmp/$$encodings.dir /tmp/$$encodings.dir.add >> $dest
			  rm /tmp/$$encodings.dir /tmp/$$encodings.dir.add
			)
	fi
done

exit 0