From 8266df8f5898ea8c3a6a5179e905f8a2c5c950a7 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 12 Oct 2011 18:27:46 +0000
Subject: Bug fixes for gf -server mode and setup

---
 src/www/gfse/Makefile   | 2 +-
 src/www/gfse/index.html | 2 +-
 src/www/gfse/share.html | 2 +-
 src/www/index.html      | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/www')

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>
-- 
cgit v1.2.3