the grammars are now recognized by extension i.e. .pgf is grammar just like .php is a PHP script

2026-05-16 06:32:51 -06:00 · 2009-01-25 22:06:20 +00:00
parent 7dfc17cd98
commit 92bb971ea3
9 changed files with 78 additions and 67 deletions
--- a/src/server/pgf-server.cabal
+++ b/src/server/pgf-server.cabal
@@ -6,7 +6,7 @@ license: GPL
 license-file: LICENSE
 synopsis: FastCGI Server for Grammatical Framework

-executable pgf.fcgi
+executable pgf-server
  build-depends: base,
                 old-time,
                 directory,