#!/bin/bash
# script to convert .po files to .dtd files
# syntax:
# propdiff 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=properties
destext=properties
scriptname=propdiff
convertcmd="vimdiff"

. $homedir/batchargs.sh
