diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 18:27:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 18:27:46 +0000 |
| commit | 8266df8f5898ea8c3a6a5179e905f8a2c5c950a7 (patch) | |
| tree | b9323aca57c6bcd8317e9d1966866d50810becee /src/www | |
| parent | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (diff) | |
Bug fixes for gf -server mode and setup
Diffstat (limited to 'src/www')
| -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 | ||||
| -rw-r--r-- | src/www/index.html | 2 |
4 files changed, 4 insertions, 4 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> diff --git a/src/www/index.html b/src/www/index.html index b1aa24028..7a924e808 100644 --- a/src/www/index.html +++ b/src/www/index.html @@ -5,7 +5,7 @@ <title>GF web service</title> <h1>GF web service</h1> -<h2>Available web services</h2> +<h2>Available web applications</h2> <ul> <li><a href="minibar/minibar.html">Minibar</a> |