From 4be129f543b0dc0352338040c66f9a3c940a1390 Mon Sep 17 00:00:00 2001
From: Bastien <bzg@gnu.org>
Date: Sun, 12 Sep 2021 18:05:37 +0200
Subject: [PATCH] doc/Makefile: Clean up *.info files too

Continue 9802877fb by cleaning up *.info files and removing
duplicate *.html pattern.
---
 doc/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index fcde02db8..f6da9a1f2 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
 	$(RMR) guide manual