#!/bin/sh
# $Id$

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

cat $1 |
grep '^\.Wn' |
sed '
	s/.*"/#define	/
'

echo
echo 'void init_wmsg(void);'
echo 'void do_warn(int, int, const char *);'
echo 'void set_wmask(int);'
echo
echo '#define	warning(n)	do_warn((n), __LINE__, __FILE__)'