diff options
Diffstat (limited to 'release')
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile index 5057583..07f0d74 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.345 1998/03/10 17:29:44 jkh Exp $ +# $Id: Makefile,v 1.346 1998/03/22 18:39:42 jhay Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -140,7 +140,7 @@ rerelease release: cd ${CHROOTDIR}/usr/src && patch --silent < ${LOCAL_PATCHES} .endif .if !defined(NOPORTS) - cd ${CHROOTDIR}/usr && rm -rf ports && cvs -d ${CVSROOT} co -P ports && cd ports && make readmes + cd ${CHROOTDIR}/usr && rm -rf ports && cvs -d ${CVSROOT} co -P ports && cd ports && make readmes PORTSDIR=${CHROOTDIR}/usr/ports .endif .if !defined(NODOC) cd ${CHROOTDIR}/usr && rm -rf doc && cvs -d ${CVSROOT} co -P doc |
