#!/bin/bash
BIN=/local/ling/taggare/MBT-0.7
MBT=${BIN}/tagdemo7
CONFIG=${BIN}/settings.spanish.crater
${MBT} -s ${CONFIG} <$1
#!/bin/bash
BIN=/local/ling/taggare/MBT-0.7
MBT=${BIN}/tagdemo7
CONFIG=${BIN}/settings.spanish.crater
${MBT} -s ${CONFIG} <$1