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

[Samuel Mimram]

The following commit has been merged in the master branch:
commit bf6ab8f15a3fb9faf96dc4fb0f2b27730b005017
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Thu Aug 27 10:21:16 2009 +0200

    Change coq-doc's description to mention that it provides documentation in pdf format, not postscript, closes: #543545.

diff --git a/debian/changelog b/debian/changelog
index 16ded10..50ccd6c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,7 +6,11 @@ coq-doc (8.1-4) UNRELEASED; urgency=low
   [ Stephane Glondu ]
   * Switching packaging to git
 
- -- Stephane Glondu <steph at glondu.net>  Sat, 16 Aug 2008 01:28:05 +0200
+  [ Samuel Mimram ]
+  * Change coq-doc's description to mention that it provides documentation in
+    pdf format, not postscript, closes: #543545.
+
+ -- Samuel Mimram <smimram at debian.org>  Thu, 27 Aug 2009 10:20:07 +0200
 
 coq-doc (8.1-3) unstable; urgency=low
 
diff --git a/debian/control b/debian/control
index 20c8884..427bb51 100644
--- a/debian/control
+++ b/debian/control
@@ -18,7 +18,7 @@ Description: documentation for Coq in html format
  For more information, see <http://coq.inria.fr/>.
  .
  This is a dummy package which will install the documentation in html and
- postscript formats.
+ pdf formats.
 
 Package: coq-doc-html
 Architecture: all

-- 
coq-doc packaging