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} | |||
| 584 | if [ "$${dir}" = "${srcdir}/etc" ]; then \ | 584 | if [ "$${dir}" = "${srcdir}/etc" ]; then \ |
| 585 | rm -f "$${dest}/DOC"* ; \ | 585 | rm -f "$${dest}/DOC"* ; \ |
| 586 | rm -f "$${dest}/refcards"/*.aux "$${dest}/refcards"/*.dvi; \ | 586 | rm -f "$${dest}/refcards"/*.aux "$${dest}/refcards"/*.dvi; \ |
| 587 | rm -f "$${dest}/refcards"/*.log; \ | 587 | rm -f "$${dest}/refcards"/*.log "$${dest}/refcards"/*.in; \ |
| 588 | else true; \ | 588 | else true; \ |
| 589 | fi; \ | 589 | fi; \ |
| 590 | (cd "$${dest}" || exit 1; \ | 590 | (cd "$${dest}" || exit 1; \ |