>Number:         12666
>Category:       port-vax
>Synopsis:       <machine/loadfile_machdep.h> installed
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    port-vax-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Apr 15 07:31:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Klaus Klein
>Release:        today's
>Organization:
Frobozz Magic Header File Company
>Environment:
n/a

>Description:
	The vax port installs the <machine/loadfile_machdep.h>
	header, which is used in stand-alone environments only,
	to the public header file directories.

	It was discussed several times that this ought not to be done.

>How-To-Repeat:
	Code inspection.

>Fix:
	n/a
>Release-Note:
>Audit-Trail:
>Unformatted: