diff --git a/WebSetup.hs b/WebSetup.hs index 5eec3dd91..fb3cad595 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -50,7 +50,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=dist""build""rgl"++ -- " --output-dir="++grammars_dir++ -- has no effect?! " "++src