1 files changed, 1 insertions, 0 deletions
diff --git a/WebSetup.hs b/WebSetup.hs
index 3deba51ea..5eec3dd91 100644
--- a/WebSetup.hs
+++ b/WebSetup.hs
@@ -50,6 +50,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"++
            -- " --output-dir="++grammars_dir++  -- has no effect?!
               " "++src