#!/bin/sh
# $Id$

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

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

echo '#define	warning(n)	do_warn((n), __LINE__, __FILE__)'