diff octMakefile.in @ 1027:005998569449

[project @ 1995-01-12 23:37:21 by jwe]
author jwe
date Thu, 12 Jan 1995 23:37:21 +0000
parents 744d2f9745c8
children cfa5473c5f96
line wrap: on
line diff
--- a/octMakefile.in	Wed Jan 11 21:17:01 1995 +0000
+++ b/octMakefile.in	Thu Jan 12 23:37:21 1995 +0000
@@ -239,11 +239,7 @@
 	rm -rf `cat .fname`
 .PHONY: doc-dist-tar
 
-clean-doc-dist-tar: doc-dist-tar
-	$(MAKE) clean-tar
-.PHONY: clean-doc-dist-tar
-
-doc-dist: clean-doc-dist-tar
+doc-dist: doc-dist-tar
 .PHONY: doc-dist
 
 # Rules for making a distribution for local use.