diff lib-src/rcs-checkin @ 6927:c9f93ac26d28

(configuration): Use SET_MAKE to get the value of $(MAKE).
author Richard M. Stallman <rms@gnu.org>
date Sat, 16 Apr 1994 07:25:42 +0000
parents aa19e3673b9f
children 9e5812a795da
line wrap: on
line diff