Index: config/config.pl
===================================================================
--- config/config.pl.orig
+++ config/config.pl
@@ -2020,7 +2020,7 @@ else {
     $newcfg{'SHLIBDIR'} = $newcfg{'PREFIX'};
   }
   else {
-    $newcfg{'SHLIBDIR'} = "$newcfg{'PREFIX'}${dd}share${dd}lib${dd}latex2html";
+    $newcfg{'SHLIBDIR'} = "$newcfg{'PREFIX'}${dd}share${dd}latex2html";
   }
 }
 add_drive_letter($newcfg{'SHLIBDIR'});