From 362d4891325e96054c61a7326a5d45f50d60e024 Mon Sep 17 00:00:00 2001
From: Richard Stallman <rms@gnu.org>
Date: Sat, 10 Sep 2022 01:53:00 -0400
Subject: [PATCH] (clean): Fix deletion of c.html

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

diff --git a/Makefile b/Makefile
index 1c2c251..9a2c3ed 100644
--- a/Makefile
+++ b/Makefile
@@ -21,6 +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.html c.txt
+	rm -f c-manual.tgz c.dvi c.pdf c c-* 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