version 1.62, 2002/05/22 21:07:45
|
version 1.63, 2002/05/23 17:43:07
|
Line 1481 EDITBUTTON
|
Line 1481 EDITBUTTON
|
$path = $1.'/'; |
$path = $1.'/'; |
} |
} |
my $newsrc = $src; |
my $newsrc = $src; |
$newsrc =~ s/(\.gif|\.jpg|\.GIF|\.JPG)$/\.eps/; |
$newsrc =~ s/(\.gif|\.jpg)$/\.eps/i; |
$file=~s/(\.gif|\.jpg|\.GIF|\.JPG)$/\.eps/; |
$file=~s/(\.gif|\.jpg)$/\.eps/i; |
if (-e $newsrc) { |
if (-e $newsrc) { |
if ($path) { |
if ($path) { |
$currentstring .= '\graphicspath{{'.$path.'}}\fbox{\includegraphics'.$width_param.'{'.$file.'}}'; |
$currentstring .= '\graphicspath{{'.$path.'}}\fbox{\includegraphics'.$width_param.'{'.$file.'}}'; |