Re: [PATCH] [TRIVIAL] Change default man page path to /usr/share/man

From: Linus Torvalds <torvalds@linux-foundation.org>
Date: May 11, 2007, 17:42 UTC
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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.