#	$Id: Makefile.inc,v 1.1 1994/08/07 19:04:10 wollman Exp $

DISTRIBUTION=des