# LaTeX2HTML 99.1 release (March 30, 1999)
# Associate sections original text with physical files.
$key = q/0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0/;
$section_info{$key} = '3%:%'."$dir".q|ex31.html%:%Une figure EPS%:%| unless ($section_info{$key});
$noresave{$key} = "$nosave";
$done{"${dir}ex31.html"} = 1;
1;