changeset 1027:005998569449

[project @ 1995-01-12 23:37:21 by jwe]
author jwe
date Thu, 12 Jan 1995 23:37:21 +0000
parents 9fc405c8c06c
children 14dc7688b6ab
files octMakefile.in
diffstat 1 files changed, 1 insertions(+), 5 deletions(-) [+]
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.