PR/54438 CVS commit: src/share/man/man4

["Andreas Gustafsson" <gson%netbsd.org@localhost>]

The following reply was made to PR kern/54438; it has been noted by GNATS.

From: "Andreas Gustafsson" <gson%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/54438 CVS commit: src/share/man/man4
Date: Tue, 20 Aug 2019 14:03:56 +0000

 Module Name:	src
 Committed By:	gson
 Date:		Tue Aug 20 14:03:56 UTC 2019
 
 Modified Files:
 	src/share/man/man4: options.4
 
 Log Message:
 Don't say that makeoptions DEBUG="-g" also turns on options DEBUG,
 because it does not.  Fixes PR kern/54438.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.506 -r1.507 src/share/man/man4/options.4
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.