X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Fdoc-base;fp=helm%2FDEVEL%2Focaml-http%2Fdebian%2Fdoc-base;h=0000000000000000000000000000000000000000;hb=d43522a6d38fcb9081a3f0352088377bc0555231;hp=29b950dab78d3737206ae158abaf09a24eafb12a;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/debian/doc-base b/helm/DEVEL/ocaml-http/debian/doc-base
deleted file mode 100644
index 29b950dab..000000000
--- a/helm/DEVEL/ocaml-http/debian/doc-base
+++ /dev/null
@@ -1,12 +0,0 @@
-Document: ocaml-http
-Title: OCaml HTTP API reference manual
-Author: Stefano Zacchiroli
-Abstract: API reference manual for OCaml HTTP, an Objective Caml library for writing HTTP servers
-Section: Apps/Programming
-
-Format: HTML
-Index: /usr/share/doc/libhttp-ocaml-dev/html/index.html
-Files: /usr/share/doc/libhttp-ocaml-dev/html/*
-
-Format: PostScript
-Files: /usr/share/doc/libhttp-ocaml-dev/ocaml-http.ps.gz