]> matita.cs.unibo.it Git - helm.git/commitdiff
added hyperlinks to help message
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Apr 2004 15:44:50 +0000 (15:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 1 Apr 2004 15:44:50 +0000 (15:44 +0000)
helm/ocaml/getter/http_getter_const.ml

index 4e68f95d9a7a526ed061af80f529bf617377fb27..3eb3e71593d62da04edf32dc898a1bf17b6af9c1 100644 (file)
@@ -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>