Makefile.inc revision 8462
1# $Id: Makefile.inc,v 1.5 1995/05/09 05:22:41 jkh Exp $ 2 3DISTRIBUTION=des 4
1# $Id: Makefile.inc,v 1.5 1995/05/09 05:22:41 jkh Exp $ 2 3DISTRIBUTION=des 4