-# $Id: Makefile.in,v 1.53 2022/07/16 20:14:28 tom Exp $
+# $Id: Makefile.in,v 1.54 2022/10/22 16:36:40 tom Exp $
##############################################################################
# Copyright 2019-2021,2022 Thomas E. Dickey #
# Copyright 1998-2013,2015 Free Software Foundation, Inc. #
$(SHELL) $(srcdir)/make_sed.sh @MANPAGE_RENAMES@ >../edit_man.sed
distclean realclean: clean
- rm -f Makefile *-config.1 ../edit_man.* ../man_alias.*
+ -rm -f Makefile *-config.1 ../edit_man.* ../man_alias.* man_db.renames