diff options
author | Bastien <bzg@gnu.org> | 2021-09-12 18:07:13 +0200 |
---|---|---|
committer | Bastien <bzg@gnu.org> | 2021-09-12 18:07:13 +0200 |
commit | 72af213be844b478892562b5bcc8d7bc2b80c961 (patch) | |
tree | 3a85ba8fdce9af598f82c8b36c99348bc2c4ae92 | |
parent | d70f2806788dce06871287ef02c88ee08076dffc (diff) | |
parent | 4be129f543b0dc0352338040c66f9a3c940a1390 (diff) | |
download | org-mode-72af213be844b478892562b5bcc8d7bc2b80c961.tar.gz |
Merge branch 'maint'
-rw-r--r-- | doc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index d934258..b0255a8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -54,9 +54,9 @@ install: org orgguide $(INSTALL_INFO) --infodir=$(DESTDIR)$(infodir) orgguide.info clean: - $(RM) org orgguide *.pdf *.html *_letter.tex org-version.inc \ - org-version.tex *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.kys \ - *.pg *.pgs *.toc *.tp *.tps *.vr *.vrs *.log *.html *.ps + $(RM) *.pdf *.html *.info *_letter.tex org-version.inc org-version.tex \ + *.aux *.cp *.cps *.dvi *.fn *.fns *.ky *.kys *.pg *.pgs *.toc \ + *.tp *.tps *.vr *.vrs *.log *.ps cleanall: clean $(RM) org.texi orgguide.texi $(RMR) guide manual |