From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 12 Oct 2011 17:03:54 +0000 Subject: Improvements of "gf -server" mode and related setup "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete. --- gf.cabal | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'gf.cabal') diff --git a/gf.cabal b/gf.cabal index 748066d31..105415964 100644 --- a/gf.cabal +++ b/gf.cabal @@ -12,10 +12,23 @@ homepage: http://www.grammaticalframework.org/ bug-reports: http://code.google.com/p/grammatical-framework/issues/list tested-with: GHC==6.12.3, GHC==7.0.3 +data-dir: src +data-files: www/index.html + www/gfse/*.html + www/gfse/*.css + www/gfse/*.js + www/gfse/P/*.png + www/gfse/P/*.jpg + www/minibar/*.html + www/minibar/*.css + www/minibar/*.js + www/minibar/*.png + source-repository head type: darcs location: http://www.grammaticalframework.org/ + flag interrupt Description: Enable Ctrl+Break in the shell Default: True -- cgit v1.2.3