diff --git a/WebSetup.hs b/WebSetup.hs index 84265bf8e..1c6669bf1 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -68,7 +68,7 @@ setupWeb gf args dest pkg lbi = where tmp_dir = gfo_dirtmp cmd = gf++" -make -s -optimize-pgf --gfo-dir="++tmp_dir++ - " --gf-lib-path=dist""build""rgl"++ + " --gf-lib-path="++buildDir lbi "rgl"++ -- " --output-dir="++grammars_dir++ -- has no effect?! " "++src