Tim Edwards bc00b5578b Implemented a new configuration variable "dist_prefix" for ... distributed installations, where the immediate installation location is different from the final installation location, but in the case where it is not desirable to put the entire install hierarchy as a subdirectory of DESTDIR.		2020-01-28 10:40:01 -05:00
..
Depend	…
Makefile	Implemented a new configuration variable "dist_prefix" for	2020-01-28 10:40:01 -05:00
net2ir.c	…