#! /bin/sh 

# Diese Shell wandelt ein xwd-File in ein Rasterfile um.
# Dabei werden die Umwandlungsroutinen xwdtopnm und 
# pnmtorast verwendet. Die Argumente dieses Aufrufes 
# sind:
#
#  $1 : Name des xwd-Files (/tmp/help_picture)
#  $2 : Name des Rasterfiles

MuPAD_BIN=$MuPAD_ROOT_PATH/`$MuPAD_ROOT_PATH/share/bin/sysinfo`/bin

$MuPAD_BIN/xwdtopnm < $1 2> /dev/null | $MuPAD_BIN/pnmtorast > $2 2> /dev/null

# L"oschen der Hilfdatei $1 (/tmp/help_picture)

rm -f $1
