#!/bin/csh -f

if (! $?TM_TMP_DIR) then
    setenv TM_TMP_DIR /tmp
endif

if( $5 == "" ) then
	set filename="$TM_TMP_DIR/mime$$"
else
	set filename = $TM_TMP_DIR/$5
endif

echo "$2; $3 -> $filename"

tmdecode $3 $1 $filename