Turn off NODOC again; apparently this problem was fixed.

This commit is contained in:
jkh 1998-12-24 08:55:05 +00:00
parent e20489fd39
commit 702523f657

View File

@ -1,4 +1,4 @@
# $Id: Makefile,v 1.437 1998/12/21 17:34:33 jkh Exp $
# $Id: Makefile,v 1.438 1998/12/24 04:28:25 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.