#	$Id: Makefile.inc,v 1.5 1995/05/09 05:22:41 jkh Exp $

DISTRIBUTION=des