#!/bin/sh
# the next line is not read by tcl \
TCLBINARY=tclsh; source `dirname $0`/configuration
# the next line restarts using tclsh \
exec $TCLBINARY "$0" "$@"

set nameOfThisScript [file normalize $argv0]
set homeOfThisScript [file dirname $nameOfThisScript]
source [file join $homeOfThisScript opetope2dot.tcl]

foreach f $argv {
    if { ![file readable $f] } {
	puts "WARNING: Can't read file \"$f\""
    }
    opetope2pdf [file join [pwd] $f]
}


