#!/bin/sh
#
# $Id: xml2rfc,v 1.4 2003/12/27 23:35:46 jose Exp $

wish=y0y0y0/bin/wish8.4
tclsh=y0y0y0/bin/tclsh8.4
xml2rfc=y0y0y0/share/xml2rfc/xml2rfc.tcl

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