]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/Makefile.defs
removed Makefile.overrides
[helm.git] / helm / DEVEL / ocaml-http / Makefile.defs
index 6fd4b75f8999db82eecdaa2d4be88c27cc80cf2a..a8dfd5fe2efdf948ea4c41978e2a24f61934e544 100644 (file)
@@ -19,7 +19,6 @@ DOT = dot
 DISTNAME = ocaml-http
 DISTDIR = $(DISTNAME)-$(DISTVERSION)
 EXTRA_DIST =   \
-       INSTALL LICENSE README META.in Makefile Makefile.defs Makefile.overrides        \
-       .depend tophttp doc
-
+       INSTALL LICENSE README META.in Makefile Makefile.defs   \
+       .depend doc