X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=d46b87a59703d15bf9628f4038141b7d5b45cbcf;hb=0c6a5aadb1a7746681a8e26fc0b009f847c10557;hp=4e68f95d9a7a526ed061af80f529bf617377fb27;hpb=dbba2a9addd1244a9b62f61b36dfc5338fbe850f;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index 4e68f95d9..d46b87a59 100644
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -49,7 +49,7 @@ let usage_string configuration =
     Available commands:
     </p>
     <p>
-      <b><kbd>help</kbd></b><br />
+      <b><kbd><a href=\"/help\">help</a></kbd></b><br />
       display this help message
     </p>
     <p>
@@ -68,7 +68,7 @@ let usage_string configuration =
       <b><kbd>getxslt?uri=URI[&patch_dtd=(yes|no)]</kbd></b><br />
     </p>
     <p>
-      <b><kbd>list_servers</kbd></b><br />
+      <b><kbd><a href=\"/list_servers\">list_servers</a></kbd></b><br />
     </p>
     <p>
       <b><kbd>add_server?url=URL&position=POSITION</kbd></b><br />
@@ -77,22 +77,22 @@ let usage_string configuration =
       <b><kbd>remove_server?position=POSITION</kbd></b><br />
     </p>
     <p>
-      <b><kbd>update</kbd></b><br />
+      <b><kbd><a href=\"/update\">update</a></kbd></b><br />
     </p>
     <p>
-      <b><kbd>clean_cache</kbd></b><br />
+      <b><kbd><a href=\"clean_cache\">clean_cache</a></kbd></b><br />
     </p>
     <p>
       <b><kbd>getalluris?format=(txt|xml)</kbd></b><br />
     </p>
     <p>
-      <b><kbd>getallrdfuris</kbd></b><br />
+      <b><kbd><a href=\"/getallrdfuris\">getallrdfuris</a></kbd></b><br />
     </p>
     <p>
-      <b><kbd>ls?baseuri=URI&format=(txt|xml)</kbd></b><br />
+      <b><kbd>ls?baseuri=regexp&format=(txt|xml)</kbd></b><br />
     </p>
     <p>
-      <b><kbd>getempty</kbd></b><br />
+      <b><kbd><a href=\"/getempty\">getempty</a></kbd></b><br />
     </p>
     <h2>Current configuration</h2>
     <pre>%s</pre>