X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_const.ml;h=eefd7c865e9d8d1544919d81d6e0b0d5d67f9374;hb=fc35fbb35a01c110f221c52661f1193ea5664aa6;hp=71aed58d3b0256f3919606633461983a098809ba;hpb=ad74e128b9d3b8b3aaaa860fa4f5ef089cf742cf;p=helm.git

diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml
index 71aed58d3..eefd7c865 100644
--- a/helm/http_getter/http_getter_const.ml
+++ b/helm/http_getter/http_getter_const.ml
@@ -79,6 +79,9 @@ let usage_string configuration =
     <p>
       <b><kbd>update</kbd></b><br />
     </p>
+    <p>
+      <b><kbd>clean_cache</kbd></b><br />
+    </p>
     <p>
       <b><kbd>getalluris</kbd></b><br />
     </p>