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.
This commit is contained in:
asami 1996-03-06 09:10:23 +00:00
parent 34dd57c2c2
commit 013d83681a
3 changed files with 21 additions and 3 deletions

View File

@ -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
#

View File

@ -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
#

View File

@ -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
#