Re: [PATCH] [TRIVIAL] Change default man page path to /usr/share/man
- From
Junio C Hamano <junkio@cox.net>
- Date
- May 11, 2007, 19:44 UTC
- Message-ID
- <7vwszf9md5.fsf@assigned-by-dhcp.cox.net>
- In-Reply-To
- <200705112242.44618.ismail@pardus.org.tr>
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.