[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-28-geb7e822

[Stephane Glondu]

The following commit has been merged in the master branch:
commit eb7e8227e50023fbcbd06fff7380bd2e6846df00
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 22:55:44 2010 +0100

    Add camlp5 to Build-Depends

diff --git a/debian/control b/debian/control
index fb5729b..ca3f301 100644
--- a/debian/control
+++ b/debian/control
@@ -15,6 +15,7 @@ Build-Depends-Indep:
  texlive-lang-french,
  texlive-humanities,
  hevea (>= 1.05),
+ camlp5,
  ocaml-nox
 Homepage: http://coq.inria.fr/
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git

-- 
coq-doc packaging