1988-06-22 16:57:09 +00:00
|
|
|
#!/bin/sh
|
1994-06-24 11:31:16 +00:00
|
|
|
# $Id$
|
1988-06-22 16:57:09 +00:00
|
|
|
|
|
|
|
|
(
|
|
|
|
|
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
|
|
|
|
|
|
