From b406571dee94034e19d1dfc26cf66791becc2aa9 Mon Sep 17 00:00:00 2001 From: Garrett Wollman Date: Sun, 20 Nov 1994 23:31:36 +0000 Subject: [PATCH] Add krb (Kerberos) to EXTRADISTRIBUTIONS. --- release/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/release/Makefile b/release/Makefile index 4c4fc24f2cc0..ea56ea70dc91 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.53 1994/11/20 14:49:43 jkh Exp $ +# $Id: Makefile,v 1.54 1994/11/20 22:56:27 phk Exp $ # # Evil floppies are, of course, 1.2MB floppies. @@ -148,7 +148,7 @@ bar: DESTDIR=${RELEASEDIR}/filesys \ SHARED=copies ) -EXTRADISTRIBUTIONS= des games manpages proflibs dict +EXTRADISTRIBUTIONS= des games manpages proflibs dict krb DISTRIBUTIONS= bindist ${EXTRADISTRIBUTIONS} MTREEFILES= ${.CURDIR}/../etc/mtree