diff -r 4af68e6f4eae -r ddb0b1fdfdea doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Mon May 12 17:13:58 1997 +0200
+++ b/doc-src/Logics/Makefile	Mon May 12 17:15:36 1997 +0200
@@ -26,3 +26,7 @@
 	latex logics
 	../sedindex logics
 	latex logics
+
+clean:
+	@rm *.aux *.log *.toc *.idx *.rai
+