diff build-ins.in @ 3179:2852a2acef36

(do-install): Delete the dest dir, not the source dir, when they are different.
author Richard M. Stallman <rms@gnu.org>
date Thu, 27 May 1993 22:12:55 +0000
parents ce011f7cd03f
children b0eeade85c1f
line wrap: on
line diff