]> matita.cs.unibo.it Git - helm.git/commitdiff
added hyperlinks for getalluris/ in help message
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Sep 2004 15:59:30 +0000 (15:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Sep 2004 15:59:30 +0000 (15:59 +0000)
helm/ocaml/getter/http_getter_const.ml

index d46b87a59703d15bf9628f4038141b7d5b45cbcf..c31942ea9cfb4812f04fb1a607ef9862f1cd4e83 100644 (file)
@@ -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 />