From f5457f7c86468b333d7f3104758fc1a990088d4a Mon Sep 17 00:00:00 2001 From: "Jordan K. Hubbard" Date: Thu, 24 Dec 1998 04:28:25 +0000 Subject: [PATCH] Turn NODOCS on for now. --- release/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/release/Makefile b/release/Makefile index f441c1b6b204..569f487a1782 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.436 1998/12/18 05:13:01 jkh Exp $ +# $Id: Makefile,v 1.437 1998/12/21 17:34:33 jkh Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -37,7 +37,7 @@ 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 +NODOC= YES #NOPORTS= YES # Comment the following if you want the release documentation to be # in English only.