Commit graph

2 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
Andrew Pantyukhin
5ed6d73e5f Add port games/hinversi:
Hinversi is a version of Reversi or Othello, a board game. It was written
from the beginning thinking on modularity, to ease the process of changing
and improving the AI engine.

WWW: http://asturio.gmxhome.de/hinversi.html
Author: Claudio Clemens <asturio@gmx.net>
2007-04-02 10:01:00 +00:00