#!/bin/csh

#  mirror net-dist files onto /u1/pub partition
rm -f /u1/mirror/mirror.log
/u1/mirror/mirror  -d -d -d -d -C/u1/mirror/mirror.dos > /u1/mirror/mirror.log

#  create .index files needed for the sa2ti program
cd /u1/dos.test
/var/ti/util/mirror.index * > .index

#  get tickets and run the sa2ti program to
#  add or delete items from TechInfo
setenv KRBTKFILE "/tmp/sa2ti"
/var/ti/local/krbtgp -s -keyfile /etc/ti_serve_key ti_serve

# update TechInfo with the dos stuff, every file is a binary
# except the known text items.
/mit/techinfodev/decmipsbin/sa2ti -r -guess 116 -server marathon

kdestroy