#!/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=dtd
destext=pot
scriptname=dtd2pot
convertcmd="$pythonbin $scriptsdir/dtd2pot.py"

. $homedir/batch.sh

