#!/bin/tcsh
pushd syntax/xml > /dev/null
make doc
popd > /dev/null