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