summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-11-20 15:18:05 +0000
committerhallgren <hallgren@chalmers.se>2012-11-20 15:18:05 +0000
commit2ee6211fe1da8f8d8463a98d133f04a4aec0c05a (patch)
treeb4ef4b7d2db424331467c34a0baa71814d29fdac
parent3f88302035cea880b5c71dd7c31919528fb2c81f (diff)
GF cloud: move gf-web-api-examples.html out of minibar directory
-rw-r--r--src/www/gf-web-api-examples.html (renamed from src/www/minibar/gf-web-api-examples.html)4
-rw-r--r--src/www/index.html2
2 files changed, 3 insertions, 3 deletions
diff --git a/src/www/minibar/gf-web-api-examples.html b/src/www/gf-web-api-examples.html
index 516e823ad..2320ab074 100644
--- a/src/www/minibar/gf-web-api-examples.html
+++ b/src/www/gf-web-api-examples.html
@@ -47,7 +47,7 @@ The
Web Service API page</a> describes the calls supported by the GF web service
API. Below, we illustrate these calls by examples, and also show
how to make these calls from JavaScript using the API defined in
-<a href="../js/pgf_online.js"><code>pgf_online.js</code></a>.
+<a href="js/pgf_online.js"><code>pgf_online.js</code></a>.
<p>
<strong>Note</strong> that <code>pgf_online.js</code> was initially developed
@@ -174,6 +174,6 @@ full API.
</dl>
<hr>
<div class=modtime><small>
-<!-- hhmts start -->Last modified: Tue Nov 20 13:54:42 CET 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 20 16:17:42 CET 2012 <!-- hhmts end -->
</small></div>
<address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address>
diff --git a/src/www/index.html b/src/www/index.html
index c1e62bf45..96071ddd2 100644
--- a/src/www/index.html
+++ b/src/www/index.html
@@ -26,7 +26,7 @@
<li><a href="minibar/minibar-api.html">Minibar API documentation</a>
<li><a href="gfse/about.html">About the online grammar editor</a>
<li><a href="translator/about.html">About the simple translation tool</a>
- <li><a href="minibar/gf-web-api-examples.html">PGF web service API examples</a>
+ <li><a href="gf-web-api-examples.html">PGF web service API examples</a>
<li><a href="http://code.google.com/p/grammatical-framework/wiki/GFWebServiceAPI">PGF web service API documentation</a>
<li><a href="gf-cloud-api.html">GF Cloud Service API</a>
</ul>