changeset 22294:9dd312681e15

(distclean): Delete config.stamp, stamp-oldxmenu.
author Karl Heuer <kwzh@gnu.org>
date Sat, 30 May 1998 15:48:11 +0000
parents 0544aa57ff27
children b2ceb0b98995
files src/Makefile.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/Makefile.in	Sat May 30 15:43:16 1998 +0000
+++ b/src/Makefile.in	Sat May 30 15:48:11 1998 +0000
@@ -1136,7 +1136,7 @@
 /**/# This is used in making a distribution.
 /**/# Do not use it on development directories!
 distclean: clean
-	rm -f paths.h config.h Makefile Makefile.c ../etc/DOC-*
+	rm -f paths.h config.h Makefile Makefile.c config.stamp stamp-oldxmenu ../etc/DOC-*
 maintainer-clean: distclean
 	@echo "This command is intended for maintainers to use;"
 	@echo "it deletes files that may require special tools to rebuild."