diff options
-rw-r--r-- | release/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile index bb2fb7d..eb066272 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.251 1996/11/08 19:09:45 jkh Exp $ +# $Id: Makefile,v 1.252 1996/11/09 16:25:29 joerg Exp $ # # How to roll a release: # @@ -78,7 +78,7 @@ rerelease release: -mkdir -p ${CHROOTDIR} cd ${.CURDIR}/../etc && ${MAKE} distrib-dirs DESTDIR=${CHROOTDIR} cd ${.CURDIR}/../etc && ${MAKE} distribution DESTDIR=${CHROOTDIR} - cd ${.CURDIR}/.. && ${MAKE} install DESTDIR=${CHROOTDIR} + cd ${.CURDIR}/.. && ${MAKE} install DESTDIR=${CHROOTDIR} NOMAN=1 .if !defined(RELEASETAG) cd ${CHROOTDIR}/usr && rm -rf src && \ cvs -d ${CVSROOT} co -P src |