diff options
Diffstat (limited to 'etc/defaults')
-rw-r--r-- | etc/defaults/make.conf | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/etc/defaults/make.conf b/etc/defaults/make.conf index e4f26d9..db104e4 100644 --- a/etc/defaults/make.conf +++ b/etc/defaults/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.24 1996/01/05 18:54:07 ache Exp $ +# $Id: make.conf,v 1.25 1996/02/15 21:14:36 adam Exp $ # # This file, if present, will be read by make (see /usr/share/mk/sys.mk). # It allows you to override macro definitions to make without changing @@ -39,6 +39,12 @@ #NOMANCOMPRESS= true # # +# If you do not want additional documentation (some of which are +# a few hundred KB's) for ports to be installed: +# +#NOPORTDOCS= true +# +# # Default format for system documentation, depends on your printer. # Set this to "ascii" for simple printers or screen # |