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
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>