#!/bin/tcsh -f
setenv MANPATH
if ( $?ASCDS_BIN == 0 ) then
  set x = `cat $ASCDS_VV_CACHE_DIR/vv_manager/vv_ascrc`
  source $ASCDS_VV_CACHE_DIR/vv_manager/.ascrc $x
endif
setenv HTMLDOC_NOCGI 1
vv_submit_report.pl $*