:   $OpenXM: OpenXM/bin/asirweb,v 1.2 2001/04/22 01:02:27 takayama Exp $
sm1 -s "[(parse) (httpd-asir.sm1) pushfile] extension ; asirweb "