diff options
Diffstat (limited to 'doc/misc/Makefile.in')
-rw-r--r-- | doc/misc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 9e036c43ad..d191534c2d 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -209,7 +209,7 @@ ${buildinfodir}/tramp.info tramp.html: EXTRA_OPTS = -D emacs ${buildinfodir}/tramp.info tramp.html: ${srcdir}/trampver.texi -.PHONY: mostlyclean clean distclean maintainer-clean +.PHONY: mostlyclean clean distclean bootstrap-clean maintainer-clean mostlyclean: rm -f *.aux *.log *.toc *.c[mp] *.c[mp]s *.fn *.fns \ @@ -235,7 +235,7 @@ infoclean: $(buildinfodir)/$${file}-[1-9][0-9]; \ done -maintainer-clean: distclean infoclean +bootstrap-clean maintainer-clean: distclean infoclean dist: rm -rf emacs-misc-${version} |