diff -r -U2 latex2html-2008/latex2html.pin latex2html-2008_new/latex2html.pin
--- latex2html-2008/latex2html.pin	2004-01-08 07:15:01.000000000 +0100
+++ latex2html-2008_new/latex2html.pin	2015-12-19 12:13:02.365564315 +0100
@@ -533,5 +533,5 @@
 # If possible, use icons of the same type as generated images
 #
-if ($IMAGE_TYPE && defined %{"icons_$IMAGE_TYPE"}) {
+if ($IMAGE_TYPE && %{"icons_$IMAGE_TYPE"}) {
     %icons = %{"icons_$IMAGE_TYPE"};
 }
@@ -2113,5 +2113,5 @@
 	    }
 	);
-	if ($USE_UTF ||(!$NO_UTF &&(defined %unicode_table)&&length(%unicode_table)>2)) {
+	if ($USE_UTF ||(!$NO_UTF &&(%unicode_table)&&length(%unicode_table)>2)) {
 	    &convert_to_unicode($_)};
     }
@@ -9118,5 +9118,5 @@
     $charset =~ s/-/_/g;
     # convert upper 8-bit characters
-    if (defined %$charset &&($CHARSET =~ /8859[_\-]1$/)) {
+    if (%$charset &&($CHARSET =~ /8859[_\-]1$/)) {
 	s/([\200-\377])/
 	    $tmp = $$charset{'&#'.ord($1).';'};
Only in latex2html-2008_new/: latex2html.pin~