Rev 901 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
!if $job2=run
!appendfile wimshome/log/wimslogd.exec cd $wims_home\
date '+%Y-%m-%d.%H:%M:%S' >tmp/mkindex.log\
echo "Building module index..." >>tmp/mkindex.log\
bin/mkindex >>tmp/mkindex.log\
cat tmp/mkindex.log | mail $$w_mail_opt -s "WIMS mkindex output" $wims_site_manager \
rm -f tmp/mkindex.log
atdate=yes
!endif