ports/math/numdiff, branch release/7.0.0

- Set --mandir and --infodir in CONFIGURE_ARGS if the configure script

2007-07-23T09:36:51Z

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

- Update 4.2.0

2007-05-26T05:16:26Z

- Update to 4.0.0

2006-11-23T03:23:30Z

Numdiff is a little program that can be used to compare putatively similar

2006-10-31T17:29:35Z

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