From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
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.
---
 src/editor/simple/gfse.manifest | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 src/editor/simple/gfse.manifest

(limited to 'src/editor/simple/gfse.manifest')

diff --git a/src/editor/simple/gfse.manifest b/src/editor/simple/gfse.manifest
deleted file mode 100644
index 60c6f3757..000000000
--- a/src/editor/simple/gfse.manifest
+++ /dev/null
@@ -1,4 +0,0 @@
-CACHE MANIFEST
-# 5
-NETWORK:
-*
-- 
cgit v1.2.3