#!/bin/sh


newer gulweb_intro.wml  gulweb_intro.html && \
{ 
wml  -o gulweb_intro.html gulweb_intro.wml 
cvs ci -m "$*" gulweb_intro.html gulweb_intro.wml
}