1 files changed, 1 insertions, 1 deletions
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_dir</>tmp
         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