#! /bin/sh 

# Diese Shell wandelt ein xwd-File in ein Giffile um.
# Dabei werden die Umwandlungsroutinen xwdtopnm und 
# ppmtogif verwendet. Die Argumente dieses Aufrufes
# sind:
#
#  $1 : Name der xwd-Datei (/tmp/help_picture)
#  $2 : Name des Giffiles

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

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

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

rm -f $1
