#! /bin/sh

sed -f ${0%/*}/abbrev2term.sed
