diff options
Diffstat (limited to 'release')
| -rw-r--r-- | release/Makefile | 4 |
1 files 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. |