Re: [PATCH] [TRIVIAL] Change default man page path to /usr/share/man
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 20, 2007, 20:20 UTC
- Message-ID
- <7vfy4mtm2o.fsf@assigned-by-dhcp.pobox.com>
- In-Reply-To
- <200706202242.13100.ismail@pardus.org.tr>
Ismail Dönmez <ismail@pardus.org.tr> writes:
Show 10 quoted lines
> 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.
Thanks.
I do not think this patch should happen to 1.5.2.X for any value of X; but I am willing to apply it to 'master' (hence 1.5.3 and later).