On Mon, 23 Jul 2007 04:36:52 -0500, Rong-En Fan <[EMAIL PROTECTED]> wrote:
rafan 2007-07-23 09:36:52 UTC
FreeBSD ports repository
<snip>
Log:
- Set --mandir and --infodir in CONFIGURE_ARGS if the configure script
supports them. This is determined by running ``configure --help'' in
do-configure target and set the shell variable _LATE_CONFIGURE_ARGS
which is then passed to CONFIGURE_ARGS.
- Remove --mandir and --infodir in ports' Makefile where applicable
Few ports use REINPLACE_CMD to achieve the same effect, remove them
too.
- Correct some manual pages location from PREFIX/man to MANPREFIX/man
- Define INFO_PATH where necessary
- Document that .info files are installed in a subdirectory relative to
PREFIX/INFO_PATH and slightly change add-plist-info to use INFO_PATH
and
subdirectory detection.
Yay! Finally someone take it, thanks!
While I am here, I have wondered in the past for why we have different
path of mandir for base system and ports? /usr/share/man for base system
and /usr/local/man for ports. Why not /usr/local/share/man for ports? or
Why not /usr/man for base system? I personal prefer the mandir to be in
share/.
Cheers,
Mezz
PR: ports/111470
Approved by: portmgr
Discussed with: stas (Mk/*), gerald (info related stuffs)
Tested by: pointyhat exp run
--
[EMAIL PROTECTED] - [EMAIL PROTECTED]
FreeBSD GNOME Team - FreeBSD Multimedia Hat (ports, not src)
http://www.FreeBSD.org/gnome/ - [EMAIL PROTECTED]
http://wiki.freebsd.org/multimedia - [EMAIL PROTECTED]
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
