From db666da35ad13f3017c74c57c154ec017e640a9b Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Wed, 25 Mar 1987 22:48:25 +0000
Subject: [PATCH] improved the "clean" entry

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

diff --git a/doc/Makefile b/doc/Makefile
index e72a3ab31..7ff05374b 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -64,4 +64,5 @@ opr:
 		make pr | opr
 
 clean:
-		-rm -f *.old $(RESFILES) *.t *.out
+		-rm -f *.old $(RESFILES) *.t *.out LLgen.doc top.doc \
+			occam.doc ego.doc
-- 
2.34.1