2013-11-25 15:11:25 +00:00
|
|
|
Index: config/config.pl
|
|
|
|
===================================================================
|
|
|
|
--- config/config.pl.orig
|
|
|
|
+++ config/config.pl
|
2024-02-14 13:50:50 +00:00
|
|
|
@@ -2020,7 +2020,7 @@ else {
|
2013-11-25 15:11:25 +00:00
|
|
|
$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'});
|