From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 9 Sep 2004 15:59:30 +0000 (+0000)
Subject: added hyperlinks for getalluris/ in help message
X-Git-Tag: moogle_mathql~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8e2185ee1dc66e27b80356b53232cdeca5465ac7;p=helm.git

added hyperlinks for getalluris/ in help message
---

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index d46b87a59..c31942ea9 100644
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -83,7 +83,7 @@ let usage_string configuration =
       <b><kbd><a href=\"clean_cache\">clean_cache</a></kbd></b><br />
     </p>
     <p>
-      <b><kbd>getalluris?format=(txt|xml)</kbd></b><br />
+      <b><kbd>getalluris?format=(<a href=\"getalluris?format=txt\">txt</a>|<a href=\"getalluris?format=xml\">xml</a>)</kbd></b><br />
     </p>
     <p>
       <b><kbd><a href=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />