From 94e72ffb0816ce6d49e72e5e59a517b45727f4e1 Mon Sep 17 00:00:00 2001 From: Sven Joachim Date: Sat, 3 Aug 2019 16:31:40 +0200 Subject: [PATCH] src/Makefile.in (versionclean): Delete versioned pdmp files (Bug#36907) --- src/Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Makefile.in b/src/Makefile.in index fd05a45df5..eb9708e66f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -721,7 +721,8 @@ distclean: maintainer-clean: distclean rm -f TAGS versionclean: - -rm -f emacs$(EXEEXT) emacs-*.*.*[0-9]$(EXEEXT) ../etc/DOC* + -rm -f emacs$(EXEEXT) emacs-*.*.*[0-9]$(EXEEXT) emacs-*.*.*[0-9].pdmp + -rm -f ../etc/DOC* extraclean: distclean -rm -f ./*~ \#* TAGS config.in -- 2.23.0.rc1