From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Fri, 11 May 2007 17:42:53 GMT
Subject: Re: [PATCH] [TRIVIAL] Change default man page path to /usr/share/man
Message-ID: <alpine.LFD.0.98.0705111041140.3986@woody.linux-foundation.org>
In-Reply-To: <200705112025.58095.ismail@pardus.org.tr>



On Fri, 11 May 2007, Ismail Dönmez wrote:
> 
> ACK? NAK? Do we care about this? :)

I'll Ack it, for what it's worth.

As it is, I actually end up doing

	make prefix=/usr/local/share install-doc

(or something like that) to get things in the right place.

I think the old "$(prefix)/man" is just because I still mentally live in 
the early 90's most of the time.

		Linus