--- 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 +