version 1.66, 2002/06/20 18:25:01
|
version 1.68, 2002/07/03 15:37:10
|
Line 1438 EDITBUTTON
|
Line 1438 EDITBUTTON
|
if ($width_param <= 900) { |
if ($width_param <= 900) { |
$width_param = '[width='.$width_param.'mm]'; |
$width_param = '[width='.$width_param.'mm]'; |
} else { |
} else { |
$width_param = '[width= 9.0 cm]'; |
$width_param = '[width= \textwidth]'; |
} |
} |
} |
} |
} |
} |
Line 1485 EDITBUTTON
|
Line 1485 EDITBUTTON
|
$file=~s/(\.gif|\.jpg)$/\.eps/i; |
$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 .= '\noindent\graphicspath{{'.$path.'}}\fbox{\includegraphics'.$width_param.'{'.$file.'}}'; |
} |
} |
} else { |
} else { |
my $temp_file; |
my $temp_file; |