X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_debugger.mli;h=96f32183f868e9983b4195ee966778262898212b;hb=3af56c5a48f7cad33fd701e0061fe143e0e2a7c5;hp=461e2a1a73f5d75c2799a8667704277675065746;hpb=17812d2224e765d4ff43bc5f35a7bb09b5ccb0d3;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_debugger.mli b/helm/ocaml/getter/http_getter_debugger.mli
index 461e2a1a7..96f32183f 100644
--- a/helm/ocaml/getter/http_getter_debugger.mli
+++ b/helm/ocaml/getter/http_getter_debugger.mli
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(** {2 Debugger and logger} *)
+
   (** enable/disable debugging messages *)
 val debug: bool ref