diff make-dist @ 21072:ef9a01b67c87

(install): Use INSTALL_STRIP with INSTALL_PROGRAM for the utilities.
author Richard M. Stallman <rms@gnu.org>
date Fri, 06 Mar 1998 01:12:57 +0000
parents 17bcec31f3d4
children 70301d94ce1e
line wrap: on
line diff