diff options
| author | hallgren <hallgren@chalmers.se> | 2011-02-17 17:35:22 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-02-17 17:35:22 +0000 |
| commit | 8dd2a1ddc05043f98b092b67364d7051e947e82d (patch) | |
| tree | 809e63acb4bd891524f76be2ad1c487ed53daf8f /src/editor/simple/Makefile | |
| parent | c1f0d57210c00e3cb35c95f5fc11462f08f5bed2 (diff) | |
gfse: some small fixes
+ 'make install' to copy all required files to the server
+ configuration options and error checks in upload.cgi
Diffstat (limited to 'src/editor/simple/Makefile')
| -rw-r--r-- | src/editor/simple/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
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 |