From: Ismail Dönmez <ismail@pardus.org.tr>
Date: Wed, 20 Jun 2007 19:42:08 GMT
Subject: Re: [PATCH] [TRIVIAL] Change default man page path to /usr/share/man
Message-ID: <200706202242.13100.ismail@pardus.org.tr>
In-Reply-To: <7vwszf9md5.fsf@assigned-by-dhcp.cox.net>

On Friday 11 May 2007 22:44:06 Junio C Hamano wrote:
> Ismail Dönmez <ismail@pardus.org.tr> writes:
> > Most(All?) distros /usr/share/man in MANPATH so I believe this
> > patch shouldn't break anything but well you have the final
> > say. I am ok with doing make mandir=/usr/share/man install-doc
>
> My preference is to do this early after 1.5.2.  I do not want to
> touch builds with trivial changes before the final.

Still not applied to 1.5.2.2. Patch attached for convenience.

Regards,
ismail

-- 
Perfect is the enemy of good


--- Documentation/Makefile	2007-02-26 21:20:28.000000000 +0200
+++ Documentation/Makefile	2007-02-28 01:18:07.672166995 +0200
@@ -26,7 +26,7 @@
 
 prefix?=$(HOME)
 bindir?=$(prefix)/bin
-mandir?=$(prefix)/man
+mandir?=$(prefix)/share/man
 man1dir=$(mandir)/man1
 man7dir=$(mandir)/man7
 # DESTDIR=