--- ../pre/latex2html/styles/htmllist.perl	Tue Feb 24 09:27:05 1998
+++ styles/htmllist.perl	Thu Nov  5 23:19:21 1998
@@ -96,9 +96,17 @@
 	    $mark = &missing_braces
 		unless ((s/\\htmlitemmark$any_next_pair_rx/$mark=$2;''/eo)
 		    ||(s/\\htmlitemmark$any_next_pair_pr_rx/$mark=$2;''/eo));
 	$mark_size = $ImageSizeMarks{$mark};
-	$mark = "$ICONSERVER/$ImageMarks{$2}.gif" if ($ImageMarks{$2});
+	if ($ImageMarks{$2}) {
+	    local($icon) = join ('', $ImageMarks{$2}, '.', $IMAGE_TYPE);
+	    $used_icons{$icon} = 1;
+	    if ($LOCAL_ICONS) {
+		$mark = $icon;
+	    } else {
+		$mark = "$ICONSERVER/$icon";
+	    }
+	}
 	$imagemark = '<IMG ' . $mark_size . ' SRC="' . $mark . '" ALT="*">';
 	$imagemark =~ s/~/&#126;/g;	# Allow ~'s in $ICONSERVER
 	}
     }