#
#$Id$
#
SHELL=	/bin/sh

all:

ident.1.gz: ident.1
	groff -T ascii -man  ident.1 | gzip -c >ident.1.gz

clean: 
	/bin/rm -f ident.1.gz

