changeset 153:9cde24dc500a

[project @ 1993-10-10 19:36:42 by jwe]
author jwe
date Sun, 10 Oct 1993 19:36:42 +0000
parents 1a53b99f7f28
children 3a09d46139f1
files octMakefile.in
diffstat 1 files changed, 15 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/octMakefile.in	Sun Oct 10 19:36:32 1993 +0000
+++ b/octMakefile.in	Sun Oct 10 19:36:42 1993 +0000
@@ -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`