From b35d0cb88daa357c1fad1e653a30411378ca9aae Mon Sep 17 00:00:00 2001
From: Richard Stallman <rms@gnu.org>
Date: Thu, 22 Sep 2022 22:17:16 -0400
Subject: [PATCH] Info file's name is now c.info.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index a3ca0b3..68da4a0 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,7 @@ c.txt: c.texi cpp.texi fp.texi fdl.texi
 	makeinfo --plaintext c.texi > $@
 
 clean:
-	rm -f c-manual.tgz c.dvi c.pdf c c-* c.doc c.txt
+	rm -f c-manual.tgz c.dvi c.pdf c.info c.info-* c.doc c.txt
 	rm -rf c.html
 	rm -f c.aux c.cp c.fn c.ky c.log c.pg c.tmp c.toc c.tp c.vr
 	rm -f c.cps c.fns