X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FINSTALL;fp=helm%2FDEVEL%2Focaml-http%2FINSTALL;h=0000000000000000000000000000000000000000;hp=c98cdb44a210d256554d3d171a049a992e423ef8;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/ocaml-http/INSTALL b/helm/DEVEL/ocaml-http/INSTALL
deleted file mode 100644
index c98cdb44a..000000000
--- a/helm/DEVEL/ocaml-http/INSTALL
+++ /dev/null
@@ -1,37 +0,0 @@
-
-In order to build ocaml-http you will need:
-
-  - the ocaml compiler (>= 3.06)
-    [ http://caml.inria.fr ]
-
-  - findlib (>= 0.8)
-    [ http://www.ocaml-programming.de/packages/documentation/findlib/ ]
-
-  - ocamlnet (>= 0.94)
-    [ http://sourceforge.net/projects/ocamlnet ]
-
-  - pcre-ocaml (>= 4.28.2)
-    [ http://www.ai.univie.ac.at/~markus/home/ocaml_sources.html ]
-
-To build the bytecode library:
-
-  $ make all
-
-To build the nativecode library (only if you have an ocaml native code
-compiler):
-
-  $ make opt
-
-To install the built stuff in the OCaml standard library directory (as root):
-
-  # make install
-
-To install the built stuff in another directory:
-
-  $ make install DESTDIR=another_directory
-
-To build a debian package of the library (please note that to build a debian
-package you will also need some additional stuff like debhelper, fakeroot, ...):
-
-  $ fakeroot debian/rules binary
-