#!/bin/sh
#ident "@(#)r.encodingsdir 1.1 96/04/19"

while read dest
do
	tmp_dest=/tmp/$$`basename $dest`
	chg_sh=/tmp/$$`basename $dest`.chg
	if [ -f $dest ] ; then
		read number < $dest
		number=`expr $number - 2`
		echo '1 c\' > $chg_sh
		echo $number >> $chg_sh
		sed -f $chg_sh $dest > $tmp_dest
		grep '^X11 ksc5601.1992-3' $dest > /dev/null 2>&1 && (
			cat $tmp_dest | \
				sed -e '/^X11 ksc5601.1987-0/d' \
					-e '/^FILENAME ksc5601-1987\.enc/d' \
				        -e '/^X11 ksc5601.1992-3/d' \
					-e '/^FILENAME ksc5601-1992\.enc/d' > $dest
			)
		rm $tmp_dest $chg_sh
	fi
done
exit 0