diff options
Diffstat (limited to 'src/www/gfse/Makefile')
| -rw-r--r-- | src/www/gfse/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/www/gfse/Makefile b/src/www/gfse/Makefile new file mode 100644 index 000000000..00a97b337 --- /dev/null +++ b/src/www/gfse/Makefile @@ -0,0 +1,7 @@ + +save: save.hs + ghc --make save.hs + +install:: + @make save + rsync -avz --exclude .DS_Store P *.html *.css *.js ../../runtime/javascript/minibar/support.js *.cgi *.manifest save www.grammaticalframework.org:/usr/local/www/GF/demos/gfse |