branch: externals/org
commit 72af213be844b478892562b5bcc8d7bc2b80c961
Merge: d70f280 4be129f
Author: Bastien <b...@gnu.org>
Commit: Bastien <b...@gnu.org>
Merge branch 'maint'
---
doc/Makefile | 6 +++---
1 file 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
