diff options
| -rw-r--r-- | release/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/release/Makefile b/release/Makefile index bfbc215c8794..23128b4ea151 100644 --- a/release/Makefile +++ b/release/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.499 1999/07/20 05:00:00 jkh Exp $ +# $Id: Makefile,v 1.500 1999/07/31 19:15:29 jkh Exp $ # # make release CHROOTDIR=/some/dir BUILDNAME=somename [ RELEASETAG=tag ] # @@ -48,7 +48,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. |