From d6c7028c12888c7e9ee03a17d5d6d28b848a9c01 Mon Sep 17 00:00:00 2001 From: John Hay Date: Tue, 15 Sep 1998 13:15:18 +0000 Subject: Comment out NODOC and NOPORTS again. It got uncommented by mistake a few days ago. --- release/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'release') diff --git a/release/Makefile b/release/Makefile index da6dbb259471..f2b8acd2a564 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.384 1998/09/14 18:42:59 jkh Exp $ +# $Id: Makefile,v 1.385 1998/09/15 10:24:23 gibbs Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -37,8 +37,8 @@ OBJFORMAT?= elf # Uncomment this to disable the doc.1 target. It is also an ERROR # to set NOPORTS and not set NODOC since docs depend on ports. -NODOC= YES -NOPORTS= YES +#NODOC= YES +#NOPORTS= YES # Comment the following if you want the release documentation to be # in English only. ALLLANG= yes -- cgit v1.2.3