# HG changeset patch
# User jwe
# Date 823799407 0
# Node ID e735a45762a0720407940ed9132d7b810f1d161b
# Parent  a95b9ec79ec8b341a2c22deec07a3770ed8681c9
[project @ 1996-02-08 17:10:07 by jwe]

diff -r a95b9ec79ec8 -r e735a45762a0 octMakefile.in
--- a/octMakefile.in	Thu Feb 08 17:00:03 1996 +0000
+++ b/octMakefile.in	Thu Feb 08 17:10:07 1996 +0000
@@ -252,7 +252,11 @@
 	rm -rf `cat .fname`
 	mkdir `cat .fname`
 	ln $(CONF_DISTFILES) `cat .fname`
-	for dir in $(CONF_DISTSUBDIRS); do mkdir `cat .fname`/$$dir; cd $$dir; $(MAKE) dist; cd ..; done
+	for dir in $(CONF_DISTSUBDIRS); do mkdir `cat .fname`/$$dir; cd $$dir; $(MAKE) conf-dist; cd ..; done
+	tar chf `cat .fname`.tar `cat .fname`
+	rm -rf `cat .fname`
+	gzip --best `cat .fname`.tar
+	rm -f .fname
 .PHONY: conf-dist
 
 dist-tar: links-for-dist