From 8dd2a1ddc05043f98b092b67364d7051e947e82d Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 17 Feb 2011 17:35:22 +0000
Subject: gfse: some small fixes

+ 'make install' to copy all required files to the server
+ configuration options and error checks in upload.cgi
---
 src/editor/simple/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/editor/simple/Makefile')

diff --git a/src/editor/simple/Makefile b/src/editor/simple/Makefile
index 8deac8b2a..be40c0944 100644
--- a/src/editor/simple/Makefile
+++ b/src/editor/simple/Makefile
@@ -1,3 +1,7 @@
 
 save: save.hs
 	ghc --make save.hs
+
+install::
+	@make save
+	rsync -avz P *.html *.css *.js ../../runtime/javascript/minibar/support.js *.cgi *.manifest save www.grammaticalframework.org:/usr/local/www/GF/demos/gfse
-- 
cgit v1.2.3