kern/183765: /boot/{menu,loader}.rc do not get updated by 'make installkernel'

[Bertram Scharpf]

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

From: Bertram Scharpf <software at bertram-scharpf.de>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: kern/183765: /boot/{menu,loader}.rc do not get updated by 'make
 installkernel'
Date: Thu, 7 Nov 2013 23:29:10 +0100

 Another possibility would be to include the files into the
 "make distribution" procedure.