# HG changeset patch
# User jwe
# Date 750281802 0
# Node ID 9cde24dc500a1613f7d8dc4b86cb7f58418aff73
# Parent  1a53b99f7f2848eab17881bc4c133610a8865561
[project @ 1993-10-10 19:36:42 by jwe]

diff --git a/octMakefile.in b/octMakefile.in
--- a/octMakefile.in
+++ b/octMakefile.in
@@ -173,6 +173,21 @@
 	rm -rf `cat .fname` .fname
 .PHONY: dist
 
+doc-dist:
+	echo octave-$(version) > .fname
+	echo octave-doc-$(version).tar > .tarfname
+	rm -rf `cat .fname`
+	mkdir `cat .fname`
+	ln README.doc COPYING `cat .fname`
+	mkdir `cat .fname`/doc; cd doc; $(MAKE) doc-dist
+	tar chf `cat .tarfname` `cat .fname`
+	rm -rf `cat .fname`
+	tar xf `cat .tarfname`
+	chmod -R a+rwX `cat .fname`
+	tar cf `cat .tarfname` `cat .fname`
+	rm -rf `cat .fname` .fname
+.PHONY: doc-dist
+
 dist-z:
 	echo octave-$(version).tar > .fname
 	gzip --best `cat .fname`