Set VUFIND_LOCAL_MODULES variable in vufind.bat.

install.php

@@ -96,6 +96,7 @@ if (!isset($argv[1]) || $argv[1] != '--use-defaults') {
 // Build the Windows start file in case we need it:
 $batch = "@set VUFIND_HOME={$baseDir}\n" .
     "@set VUFIND_LOCAL_DIR={$overrideDir}\n" .
+    (empty($module) ? '' : "@set VUFIND_LOCAL_MODULES={$module}\n") .
     "@call run_vufind.bat %1 %2 %3 %4 %5 %6 %7 %8 %9";
 if (!@file_put_contents($baseDir . '/vufind.bat', $batch)) {
     die("Problem writing {$baseDir}/vufind.bat.\n\n");