(extraclean): Use ${top_distclean} to ensure
authorRichard M. Stallman <rms@gnu.org>
Thu, 25 Jan 1996 06:59:38 +0000 (06:59 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 25 Jan 1996 06:59:38 +0000 (06:59 +0000)
commit9e8886a8278dece61a7647959594525403d928da
tree61a21b55d8b649d4eb183c5bd5cb40408f5c301e
parentbba2dbcb22a9ca4ca52842a9cc89446f3e847555
(extraclean): Use ${top_distclean} to ensure
we delete everything distclean deletes.
Makefile.in