From 013d83681a0b687a7e3e45b7f77e30a1199be885 Mon Sep 17 00:00:00 2001 From: asami Date: Wed, 6 Mar 1996 09:10:23 +0000 Subject: Add NOPORTDOCS, similar to NOMANCOMPRESS. It prohibits additional port documentation (which can be things like postscript manuals describing every single of the 65,536 options) from being installed into ${PREFIX}/share/doc. --- etc/defaults/make.conf | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'etc/defaults') 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 # -- cgit v1.1