diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-18 15:35:30 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-18 15:35:30 +0000 |
| commit | b8124730b10b0f71a8e6510a5b325dea21ead5c2 (patch) | |
| tree | baa87fe42f3bca23bec1812ffa8743d5362841e5 /src | |
| parent | 26b8df5cf512cfe2858661edf2b6ca5eec5b0ed6 (diff) | |
pgf-http setup: update path to minibar
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/Setup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |