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.