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

Ismail Dönmez [off-list ref] writes:

On Friday 11 May 2007 22:44:06 Junio C Hamano wrote:

quoted

Ismail Dönmez [off-list ref] writes:

quoted

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).