diff --git a/WEGA/contrib/ingres/dbs/sys/save/S7 b/WEGA/contrib/ingres/dbs/sys/save/S7 new file mode 100755 index 0000000..89c8006 --- /dev/null +++ b/WEGA/contrib/ingres/dbs/sys/save/S7 @@ -0,0 +1,3 @@ +echo sys/man; cd /z/dbs/sys/man; make .save +echo sys/ref; cd ../ref; make .save +echo S7 DONE