# HG changeset patch
# User wenzelm
# Date 863450136 -7200
# Node ID ddb0b1fdfdea3972b3d0c0c0f5696cb7bb600fcd
# Parent  4af68e6f4eae6a898453dce4f97320587ca2b4da
added 'clean';

diff -r 4af68e6f4eae -r ddb0b1fdfdea doc-src/Intro/Makefile
--- a/doc-src/Intro/Makefile	Mon May 12 17:13:58 1997 +0200
+++ b/doc-src/Intro/Makefile	Mon May 12 17:15:36 1997 +0200
@@ -25,3 +25,6 @@
 	latex intro
 	../sedindex intro
 	latex intro
+
+clean:
+	@rm *.aux *.log *.toc *.idx
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
+
diff -r 4af68e6f4eae -r ddb0b1fdfdea doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Mon May 12 17:13:58 1997 +0200
+++ b/doc-src/Ref/Makefile	Mon May 12 17:15:36 1997 +0200
@@ -28,3 +28,6 @@
 	latex ref
 	../sedindex ref
 	latex ref
+
+clean:
+	@rm *.aux *.log *.toc *.idx *.rai