diff options
Diffstat (limited to 'src/www/gfse')
| -rw-r--r-- | src/www/gfse/Makefile | 2 | ||||
| -rw-r--r-- | src/www/gfse/index.html | 2 | ||||
| -rw-r--r-- | src/www/gfse/share.html | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/www/gfse/Makefile b/src/www/gfse/Makefile index 00a97b337..f2e33c3fb 100644 --- a/src/www/gfse/Makefile +++ b/src/www/gfse/Makefile @@ -4,4 +4,4 @@ save: 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 + rsync -avz --exclude .DS_Store P *.html *.css *.js *.cgi *.manifest save www.grammaticalframework.org:/usr/local/www/GF/demos/gfse diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index c683a1ebf..52c96a34f 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -37,7 +37,7 @@ HTML <a href="about.html">About</a> <pre id=debug></pre> <script type="text/javascript" src="config.js"></script> <!-- optional --> -<script type="text/javascript" src="support.js"></script> +<script type="text/javascript" src="../minibar/support.js"></script> <script type="text/javascript" src="localstorage.js"></script> <script type="text/javascript" src="gf_abs.js"></script> <script type="text/javascript" src="example_based.js"></script> diff --git a/src/www/gfse/share.html b/src/www/gfse/share.html index 260a7b066..70bd44526 100644 --- a/src/www/gfse/share.html +++ b/src/www/gfse/share.html @@ -14,7 +14,7 @@ <hr> <address></address> <!-- hhmts start --> Last modified: Mon Oct 10 20:29:01 CEST 2011 <!-- hhmts end --> -<script type="text/javascript" src="support.js"></script> +<script type="text/javascript" src="../minibar/support.js"></script> <script type="text/javascript" src="localstorage.js"></script> <script type="text/javascript" src="gf_abs.js"></script> <script type="text/javascript" src="editor.js"></script> |