cvs commit: ports/Mk ports/archivers/dpkg Makefile ports/archivers/gtar Makefile ports/archivers/gzip Makefile ports/archivers/libarchive Makefile ports/astro/starplot Makefile ports/astro/tclgeomap Makefile ...

Jeremy Messenger mezz7 at
Mon Jul 23 16:20:59 UTC 2007

On Mon, 23 Jul 2007 04:36:52 -0500, Rong-En Fan <rafan at> wrote:

> rafan       2007-07-23 09:36:52 UTC
>   FreeBSD ports repository
>   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  


>  PR:             ports/111470
>   Approved by:    portmgr
>   Discussed with: stas (Mk/*), gerald (info related stuffs)
>   Tested by:      pointyhat exp run

mezz7 at  -  mezz at
FreeBSD GNOME Team  -  FreeBSD Multimedia Hat (ports, not src)  -  gnome at  -  multimedia at

More information about the cvs-ports mailing list