diff options
Diffstat (limited to 'share/examples')
| -rw-r--r-- | share/examples/etc/make.conf | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/share/examples/etc/make.conf b/share/examples/etc/make.conf index a67f27e..771c797 100644 --- a/share/examples/etc/make.conf +++ b/share/examples/etc/make.conf @@ -1,4 +1,4 @@ -# $Id: make.conf,v 1.17 1995/04/23 13:03:24 jkh Exp $ +# $Id: make.conf,v 1.18 1995/07/13 08:43:14 rgrimes 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 @@ -15,7 +15,7 @@ # # Another useful entry is # -#NOPROFILE= no_way +#NOPROFILE= true # Avoid compiling profiled libraries # # To compile the kernel with special optimisations, you can use this: @@ -36,7 +36,7 @@ # If you do not want unformatted manual pages to be compressed # when they are installed: # -#NOMANCOMPRESS= no_way +#NOMANCOMPRESS= true # # # Default format for system documentation, depends on your printer. |
