From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 1 Apr 2004 15:44:50 +0000 (+0000)
Subject: added hyperlinks to help message
X-Git-Tag: dead_dir_walking~100
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7fd9341f4e8ece48b21eb633fe58a6e506453086;p=helm.git

added hyperlinks to help message
---

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index 4e68f95d9..3eb3e7159 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 />
     </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>