* setprofileparam ==> setparam

[helm.git] / helm / uwobo / uwobo_common.ml

diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index bdb455bc76f3106439e8315819d2441cd2e2a226..87a640b4306d156753c0df050ba71a511360acfc 100644 (file)
--- a/helm/uwobo/uwobo_common.ml
+++ b/helm/uwobo/uwobo_common.ml
@@ -141,7 +141,7 @@ let usage_string =
       is set to false.
     </p>
     <p>
-      <b><kbd>setprofileparam?id=id[&password=password]&key=key[&value=value]</kbd></b><br />
+      <b><kbd>setparam?id=id[&password=password]&key=key[&value=value]</kbd></b><br />
       sets the property <em>key</em> to <em>value</em>, if <em>value</em> is provided; otherwise
       the parameter is unset. The password is required if the profile writing permission is set to
       false.