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

[Stephane Glondu]

The following commit has been merged in the master branch:
commit b72f882dc85db7717929bdab0165da58b867c43d
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 10:57:38 2010 +0100

    Add Homepage field to debian/control

diff --git a/debian/control b/debian/control
index 0f83404..de52eaa 100644
--- a/debian/control
+++ b/debian/control
@@ -8,6 +8,7 @@ Uploaders:
 Standards-Version: 3.7.2
 Build-Depends: debhelper (>= 4.0.0)
 Build-Depends-Indep: texlive, texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french, texlive-humanities, hevea (>= 1.05), coq (>= 8.1)
+Homepage: http://coq.inria.fr/
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq-doc.git
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-doc.git
 
@@ -18,7 +19,6 @@ Description: documentation for Coq in html format
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
  specification. It is developed using Objective Caml and Camlp4.
- For more information, see <http://coq.inria.fr/>.
  .
  This is a dummy package which will install the documentation in html and
  pdf formats.
@@ -30,7 +30,6 @@ Description: documentation for Coq in html format
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
  specification. It is developed using Objective Caml and Camlp4.
- For more information, see <http://coq.inria.fr/>.
  .
  This package contains its documentation and tutorials in html format.
 
@@ -41,6 +40,5 @@ Description: documentation for Coq in pdf format
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
  specification. It is developed using Objective Caml and Camlp4.
- For more information, see <http://coq.inria.fr/>.
  .
  This package contains its documentation and tutorials in pdf format.

-- 
coq-doc packaging