comparison make-dist @ 14360:74660e3d9659

(extraclean): Use ${top_distclean} to ensure we delete everything distclean deletes.
author Richard M. Stallman <rms@gnu.org>
date Thu, 25 Jan 1996 06:59:38 +0000
parents 05f4d693bbbf
children f41775f4f5c6
comparison
equal deleted inserted replaced
14359:83a980edc854 14360:74660e3d9659