#!/bin/sh
# $Header$

(
	echo '/* This file is generated from '$1'; do not edit */'

	cat $1 |
	sed '
		s/..//
		s/.*/	"&",/
	'
) >\#trap_msg

if	# the new one unchanged
	cmp -s \#trap_msg trap_msg
then	# throw it away
	rm \#trap_msg
else	# overwrite old version
	mv \#trap_msg trap_msg
fi