diff src/cmds.c @ 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 ee40177f6c68
children b56083146a42
line wrap: on
line diff