3 Commits

Author	SHA1	Message	Date
jkh	8b5224d956	Allow the use of ${DESTDIR} in the enviroment to optionally get ... these various collections to install someplace else.	1998-09-22 08:43:10 +00:00
jkh	010a4ef701	Bring these up-to-date with Peter's compat distribution changes.	1996-12-24 00:23:43 +00:00
jkh	5385a16e56	Automatically add install.sh scripts to dists.	1996-06-12 16:32:16 +00:00