From 714e4d4975bbcecf6c8d19d87aad123f8b0049a7 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 18 Oct 2011 15:35:30 +0000 Subject: [PATCH] pgf-http setup: update path to minibar --- src/server/Setup.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/server/Setup.hs b/src/server/Setup.hs index 41a3edc7d..f0e23432c 100644 --- a/src/server/Setup.hs +++ b/src/server/Setup.hs @@ -29,7 +29,7 @@ example_grammars = ("Letter.pgf","letter", "..""..""examples""letter""Letter???.gf")] -minibar_src = "..""runtime""javascript""minibar" +minibar_src = "..""www""minibar" -------------------------------------------------------------------------------- instWWW args flags pki lbi = setupWWW args dest pki lbi