doc-src/Ref/Makefile
changeset 3164 ddb0b1fdfdea
parent 3098 a31170b67367
child 5170 33fbffd06c12
--- 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