]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/debian/doc-base
reorganization continues ...
[helm.git] / helm / DEVEL / ocaml-http / debian / doc-base
diff --git a/helm/DEVEL/ocaml-http/debian/doc-base b/helm/DEVEL/ocaml-http/debian/doc-base
deleted file mode 100644 (file)
index 29b950d..0000000
+++ /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