diff options
| -rw-r--r-- | WebSetup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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_dir</>tmp 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 |