diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index b212c914e56..b3f7edb2eaa 100644 --- a/Makefile.in +++ b/Makefile.in @@ -584,7 +584,7 @@ install-arch-indep: lisp install-info install-man ${INSTALL_ARCH_INDEP_EXTRA} if [ "$${dir}" = "${srcdir}/etc" ]; then \ rm -f "$${dest}/DOC"* ; \ rm -f "$${dest}/refcards"/*.aux "$${dest}/refcards"/*.dvi; \ - rm -f "$${dest}/refcards"/*.log; \ + rm -f "$${dest}/refcards"/*.log "$${dest}/refcards"/*.in; \ else true; \ fi; \ (cd "$${dest}" || exit 1; \ |