/usr/local/share/mk ?

[Luigi Rizzo]

I have a port (the one mentioned in my previous msg)
which needs to install its own make's include file,
bsd.linux_kmod.mk , and I thought that there was
a system-wide place such as ${PREFIX}/share/mk
where the port could install the file in the first place,
and where make would look for it by default.

But apparently i was wrong on both things...
Now maybe the extra search path can be set with some
system-wide option in /etc/make.conf (through .PATH ?)
but then the problem to settle on one a name
for /usr/local/share/mk remains...


	cheers
	luigi