#!/bin/bash 
set -o igncr 

# This script converts XML data exported from TRACE32 
# to a HTML file.
#
# Requirements
#     t32transform.xsl must be in the same directory as your XML file

XMLFILE=${1}
HTMFILE=${XMLFILE%%.*}.htm

if [ $# -ge 1 ] && [ -f "$XMLFILE" ]; then
	echo "xsltproc \"$XMLFILE\" > \"$HTMFILE\""
	xsltproc "$XMLFILE" > "$HTMFILE"
else
	echo "Please specify a valid file name!"
	echo "xml2html <xml-file>"
fi