# # *** THIS FILE IS NORMALLY OVERWRITTEN BY CONFIGURE *** # # # $Id: Makefile,v 1.3 1997/09/09 15:06:35 bg Exp $ all: $(MAKE) -f Makefile.in cat clean: rm -f *.cat[1358] *~