doc-src/Intro/Makefile
changeset 3164 ddb0b1fdfdea
parent 3096 ccc2c92bb232
child 5170 33fbffd06c12
--- 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