diff make-dist @ 15231:afc59ce2842a

Set BUILD_TYPE and INSTALL_DIR before calling make; undo settings afterwards.
author Richard M. Stallman <rms@gnu.org>
date Mon, 13 May 1996 18:28:09 +0000
parents e8ceba484a94
children a68e276baffd
line wrap: on
line diff