#!/bin/sh
# $Header$

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

	cat $1 |
	grep '^\.Wn' |
	sed '
		s/^\.Wn[	 ]*/	{/
		s/[	 ]*[0-9][0-9]*$/},/
		s/"[	 ][	 ]*W/", W/
		s/\\-/-/g
	'
) >\#warn_msg

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