#!/bin/bash
# script to convert .dtd files to .pot files
# uses batch.sh
# syntax:
# dtd2pot src dest

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

# setup the environment variables for build.sh
srcext=properties
destext=prop.pot
scriptname=prop2pot
convertcmd="$pythonbin $scriptsdir/prop2pot.py"

. $homedir/batch.sh

