WebSetup.hs: use </> instead of '/' for Win32 compatibility

2012-03-01 14:21:47 +00:00
parent 145d8c149f
commit 2d58947d92
1 changed files with 1 additions and 1 deletions
--- 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