From 9f6dc5e6e5b8f684757e522af736f1604a66cf9c Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 1 Mar 2012 14:21:47 +0000
Subject: [PATCH] WebSetup.hs: use </> instead of '/' for Win32 compatibility

---
 WebSetup.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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