#!/bin/sh
#
# $Id: xml2rfc,v 1.5 2013/01/16 20:25:30 sthen Exp $

wish=/usr/local/bin/wish8.5
tclsh=/usr/local/bin/tclsh8.5
xml2rfc=/usr/local/share/xml2rfc/xml2rfc.tcl

if [ $# -gt 0 ]; then
	exec $tclsh $xml2rfc xml2rfc $@
else
	exec $wish $xml2rfc
fi
