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