Add krb (Kerberos) to EXTRADISTRIBUTIONS.

This commit is contained in:
Garrett Wollman 1994-11-20 23:31:36 +00:00
parent a38c3127e1
commit b406571dee

View File

@ -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