From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Feb 2005 12:11:07 +0000 (+0000)
Subject: return also .types uri in getalluris/
X-Git-Tag: V_0_1_0~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8f6612ce33185ad9f5c2dd44ba067099486ae976;p=helm.git

return also .types uri in getalluris/
---

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 7fee306a6..9afcafebb 100644
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -384,8 +384,8 @@ let getalluris () =
     getalluris_remote ()
   else
     let filter uri =
-      (Pcre.pmatch ~rex:heading_cic_RE uri) &&
-      not (Pcre.pmatch ~rex:trailing_types_RE uri)
+      (Pcre.pmatch ~rex:heading_cic_RE uri)
+(*       && not (Pcre.pmatch ~rex:trailing_types_RE uri) *)
     in
     return_uris (Lazy.force cic_map) filter