Commit graph

4 commits

Author SHA1 Message Date
Rong-En Fan
f935a609c5 - 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.

PR:		ports/111470
Approved by:	portmgr
Discussed with:	stas (Mk/*), gerald (info related stuffs)
Tested by:	pointyhat exp run
2007-07-23 09:36:51 +00:00
Florent Thoumie
d4f0d0048a - Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
2007-05-19 20:36:56 +00:00
Andrew Pantyukhin
380259ce25 - Fix plist
Reported by:	pointyhat via kris
2007-02-21 05:28:35 +00:00
Andrew Pantyukhin
9ba940b1fc Add port games/gnono:
Gnono is a rewrite for GNOME, under the GPL license, of the Windows
card game WUNO. The objective of this classic game is to discard all
of one's cards before the opponent does, by matching the value or
color of the top discard (or playing a wild card).

WWW: http://sourceforge.net/projects/gnono/
2007-02-18 16:30:38 +00:00