15 lines
432 B
Diff
15 lines
432 B
Diff
Index: config/config.pl
|
|
===================================================================
|
|
--- config/config.pl.orig
|
|
+++ config/config.pl
|
|
@@ -1918,7 +1918,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'});
|
|
|