diff options
Diffstat (limited to 'src/editor/simple/Makefile')
| -rw-r--r-- | src/editor/simple/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/editor/simple/Makefile b/src/editor/simple/Makefile index be40c0944..00a97b337 100644 --- a/src/editor/simple/Makefile +++ b/src/editor/simple/Makefile @@ -4,4 +4,4 @@ save: 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 + 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 |