# HG changeset patch
# User jwe
# Date 789953841 0
# Node ID 00599856944977bd2d59e92629ffa49b12829710
# Parent  9fc405c8c06c378cf718aff2b3c41924218f0cde
[project @ 1995-01-12 23:37:21 by jwe]

diff -r 9fc405c8c06c -r 005998569449 octMakefile.in
--- 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.