diff options
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile index 34f5b9a..28ba635 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.295 1997/06/01 08:06:48 joerg Exp $ +# $Id: Makefile,v 1.296 1997/06/06 02:10:03 brian Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -130,7 +130,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 ${CHROOTDIR}/usr && rm -rf ports && cvs -d ${CVSROOT} co -P ports && cd ports && make readmes .endif .if !defined(NODOC) cd ${CHROOTDIR}/usr && rm -rf doc && cvs -d ${CVSROOT} co -P doc |
