From e964528dea150907db1efab441757051431621cd Mon Sep 17 00:00:00 2001 From: Satoshi Asami Date: Wed, 6 Mar 1996 09:10:23 +0000 Subject: [PATCH] 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 +++++++- etc/make.conf | 8 +++++++- share/examples/etc/make.conf | 8 +++++++- 3 files changed, 21 insertions(+), 3 deletions(-) diff --git a/etc/defaults/make.conf b/etc/defaults/make.conf index e4f26d9a6c0..db104e4d128 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 # diff --git a/etc/make.conf b/etc/make.conf index e4f26d9a6c0..db104e4d128 100644 --- a/etc/make.conf +++ b/etc/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 # diff --git a/share/examples/etc/make.conf b/share/examples/etc/make.conf index e4f26d9a6c0..db104e4d128 100644 --- a/share/examples/etc/make.conf +++ b/share/examples/etc/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 #