#!/bin/sh # $Id$ ( 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