--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make-all-poly	Fri May 13 11:10:14 1994 +0200
@@ -0,0 +1,9 @@
+#! /bin/sh
+#Make entire system using Poly/ML
+#Pathnames will have to be modified for your site
+ML_DBASE=/usr/groups/theory/poly/`arch`/ML_dbase
+ISABELLEBIN=/homes/`whoami`/bin
+ISABELLECOMP="poly -noDisplay -h 15000"
+ISABELLEMAKE=Makefile
+export ML_DBASE ISABELLEBIN ISABELLECOMP ISABELLEMAKE
+nohup make-all $*