Re: [PATCH] [TRIVIAL] Change default man page path to /usr/share/man
- From
- Ismail Dönmez <ismail@pardus.org.tr>
- Date
- Jun 20, 2007, 19:42 UTC
- 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:
Show 7 quoted lines
> 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=