This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository lwt.

commit 3526136589f090b8fb003d78877edd8b5eedc119
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Jul 28 10:24:58 2016 +0200

    Remove doc-base file for manual (which is not built)
---
 debian/liblwt-ocaml-doc.doc-base.manual | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/debian/liblwt-ocaml-doc.doc-base.manual 
b/debian/liblwt-ocaml-doc.doc-base.manual
deleted file mode 100644
index 7a6204d..0000000
--- a/debian/liblwt-ocaml-doc.doc-base.manual
+++ /dev/null
@@ -1,7 +0,0 @@
-Document: liblwt-ocaml-doc-manual
-Title: Lwt manual
-Abstract: Lwt manual
-Section: Programming/OCaml
-
-Format: PDF
-Files: /usr/share/doc/liblwt-ocaml-dev/manual.pdf*

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/lwt.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to