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
Cheng-Lung Sung
ae755cd828 - Update 4.2.0 2007-05-26 05:16:26 +00:00
Cheng-Lung Sung
4ce4ce6a39 - Update to 4.0.0 2006-11-23 03:23:30 +00:00
Alejandro Pulver
d2ea05c769 Numdiff is a little program that can be used to compare putatively similar
files line by line and field by field, ignoring small numeric differences
or/and different numeric formats.

Equivalently, Numdiff is a program with the capability to appropriately
compare files containing numerical fields (and not only).

% numdiff file1 file2

WWW: http://www.nongnu.org/numdiff/

PR:		ports/104525
Submitted by:	Cheng-Lung Sung <clsung at FreeBSD.org>
2006-10-31 17:29:35 +00:00