#!/bin/bash 
set -o igncr 

# This script converts XML data exported from TRACE32 
# to a HTML and a PDF file.
#
# Requirements
#     t32transform.xsl must be in the same directory as your XML file
#     Programms "xsltproc" and "wkhtmltopdf" must be in your working PATH

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

PDFMARGINS="--margin-top 5 --margin-right 1 --margin-bottom 5 --margin-left 5"
PDFOPTIONS="$PDFMARGINS --print-media-type" 

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