#!/bin/bash
# script to convert .po files to .dtd files
# syntax:
# dtddiff src dest

# get the environment variables from the directory of this script
homedir=`dirname $0`
. $homedir/env.sh

# setup the environment variables for batch.sh
srcext=dtd
destext=dtd
scriptname=dtddiff
convertcmd="vimdiff"

. $homedir/batchargs.sh
